From e016e76055b8c402e03924d8fc3871a3d42f21c5 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Wed, 19 Sep 2018 21:33:57 -0700
Subject: [PATCH 1/1] bug fix

---
 src/ASTTransform/elementopt.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/ASTTransform/elementopt.cc b/src/ASTTransform/elementopt.cc
index 4477379..b0866ed 100644
--- a/src/ASTTransform/elementopt.cc
+++ b/src/ASTTransform/elementopt.cc
@@ -184,7 +184,8 @@ void ElementOpt::replaceVarWithConst(BooleanPredicate *pred, ElementSet *var, El
 					solver->boolMap.remove(newpred);
 					newpred->inputs.set(j, value);
 					solver->boolMap.put(newpred, newpred);
-					workList.push(newpred);
+					if (newpred->isTrue() || newpred->isFalse())
+						workList.push(newpred);
 					break;
 				}
 			}
-- 
2.34.1