1 files changed, 9 insertions, 0 deletions
diff --git a/src/theory/arith/unate_propagator.cpp b/src/theory/arith/unate_propagator.cpp
index 6e442ded9..e042e2320 100644
--- a/src/theory/arith/unate_propagator.cpp
+++ b/src/theory/arith/unate_propagator.cpp
@@ -47,6 +47,15 @@ bool ArithUnatePropagator::leftIsSetup(TNode left){
   return left.hasAttribute(PropagatorEqSet());
 }
 
+bool ArithUnatePropagator::hasAnyAtoms(TNode v){
+  Assert(!leftIsSetup(v)
+         || !v.getAttribute(PropagatorEqSet())->empty()
+         || !v.getAttribute(PropagatorLeqSet())->empty()
+         || !v.getAttribute(PropagatorGeqSet())->empty());
+
+  return leftIsSetup(v);
+}
+
 void ArithUnatePropagator::setupLefthand(TNode left){
   Assert(!leftIsSetup(left));