From 7c226f40dfe073eded6ba3cdf71001aeedabedc5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 12 Mar 2025 20:14:36 -0700
Subject: [PATCH] fix #4117

---
 src/muz/spacer/spacer_util.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/muz/spacer/spacer_util.cpp b/src/muz/spacer/spacer_util.cpp
index 87865fac4..e2f888e83 100644
--- a/src/muz/spacer/spacer_util.cpp
+++ b/src/muz/spacer/spacer_util.cpp
@@ -431,8 +431,7 @@ class implicant_picker {
 
         expr *na = nullptr, *f1 = nullptr, *f2 = nullptr, *f3 = nullptr;
 
-        SASSERT(!m.is_false(a));
-        if (m.is_true(a)) {
+        if (m.is_true(a)|| m.is_false(a)) {
             // noop
         } else if (a->get_family_id() != m.get_basic_family_id()) {
             add_literal(a, out);