diff --git a/src/ast/rewriter/bit_blaster/bit_blaster_tpl_def.h b/src/ast/rewriter/bit_blaster/bit_blaster_tpl_def.h
index 4c7870cbd..ae125a0ad 100644
--- a/src/ast/rewriter/bit_blaster/bit_blaster_tpl_def.h
+++ b/src/ast/rewriter/bit_blaster/bit_blaster_tpl_def.h
@@ -1123,6 +1123,8 @@ bool bit_blaster_tpl<Cfg>::mk_const_case_multiplier(unsigned sz, expr * const *
     }
     if (case_size >= circuit_size) 
         return false;
+    if (sz >= 100)
+        return false;
     
     SASSERT(out_bits.empty());
     ptr_buffer<expr, 128> na_bits;