diff --git a/src/muz/spacer/spacer_context.cpp b/src/muz/spacer/spacer_context.cpp
index 4968a44e4..ba4958d06 100644
--- a/src/muz/spacer/spacer_context.cpp
+++ b/src/muz/spacer/spacer_context.cpp
@@ -1183,7 +1183,7 @@ void lemma::mk_expr_core() {
             m_body = m.mk_quantifier(true, zks.size(),
                                      sorts.c_ptr(),
                                      names.c_ptr(),
-                                     m_body, 0, symbol(m_body->get_id()));
+                                     m_body, 15, symbol(m_body->get_id()));
             if (m_new_pob) {
                 add_binding(m_pob->get_binding());
             }