diff --git a/src/params/bool_rewriter_params.pyg b/src/params/bool_rewriter_params.pyg
index 85583cbca..c8d7ddbb7 100644
--- a/src/params/bool_rewriter_params.pyg
+++ b/src/params/bool_rewriter_params.pyg
@@ -1,8 +1,9 @@
 def_module_params(module_name='rewriter',
                   class_name='bool_rewriter_params',
                   export=True,
-                  params=(("ite_extra_rules", BOOL, False, "extra ite simplifications, these additional simplifications may reduce size locally but increase globally"),
-                          ("flat", BOOL, True, "create nary applications for and,or,+,*,bvadd,bvmul,bvand,bvor,bvxor"),
+                  params=(("ite_extra_rules", BOOL, True, "extra ite simplifications, these additional simplifications may reduce size locally but increase globally"),
+                          ("flat", BOOL, True, "create nary applications for +,*,bvadd,bvmul,bvand,bvor,bvxor"),
+                          ("flat_and_or", BOOL, True, "create nary applications for and,or"),
                           ("elim_and", BOOL, False, "conjunctions are rewritten using negation and disjunctions"),
                           ('elim_ite', BOOL, True,  "eliminate ite in favor of and/or"),
                           ("local_ctx", BOOL, False, "perform local (i.e., cheap) context simplifications"),