diff --git a/src/muz/spacer/spacer_context.cpp b/src/muz/spacer/spacer_context.cpp
index 7602c29b2..ed4947052 100644
--- a/src/muz/spacer/spacer_context.cpp
+++ b/src/muz/spacer/spacer_context.cpp
@@ -2301,16 +2301,15 @@ void context::init_global_smt_params() {
     fparams.m_mbqi = m_params.spacer_mbqi();
 
     if (!m_params.spacer_ground_cti()) {
-        fparams.m_pi_use_database = true;
+        fparams.m_pi_use_database = true; // you don't need this
         fparams.m_phase_selection = PS_CACHING_CONSERVATIVE2;
         fparams.m_restart_strategy = RS_GEOMETRIC;
         fparams.m_restart_factor = 1.5;
         fparams.m_eliminate_bounds = true;
-        fparams.m_qi_quick_checker = MC_UNSAT;
-        fparams.m_propagate_booleans = true;
+        fparams.m_qi_quick_checker = MC_UNSAT; // 
         fparams.m_qi_eager_threshold = 10;
         fparams.m_qi_lazy_threshold = 20;
-        fparams.m_ng_lift_ite = LI_FULL;
+        fparams.m_ng_lift_ite = LI_FULL;    // ? probably useless 
     }
 
 }