From f63e357b2904e6c342dcb630b197e589ea6456d4 Mon Sep 17 00:00:00 2001
From: Zaid Abdulla <zaid@genieacs.com>
Date: Mon, 20 Sep 2021 12:41:09 -0700
Subject: [PATCH] Fix synthesized expressions being non-minimal

---
 lib/common/boolean-expression.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/common/boolean-expression.ts b/lib/common/boolean-expression.ts
index 54f57b0..2ddafec 100644
--- a/lib/common/boolean-expression.ts
+++ b/lib/common/boolean-expression.ts
@@ -1110,8 +1110,8 @@ function getCanRaiseCallback(
     const vars = context.getIsNullRelations(i);
     if (!context.isIsNull(i)) {
       if (!(idx & 1)) return true;
-      if (!set.has(idx ^ 3)) return true;
       for (const n of vars) if (set.has((n << 2) ^ 3)) return true;
+      if (set.has(idx ^ 3)) return false;
       for (const n of vars) if (!set.has((n << 2) ^ 2)) return false;
       return true;
     }