diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index d2ebd6b81ec29a356bd5d1b2f276d96e102e1500..efb1734a8702628fdb1be1267005b5adcbb0d522 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -438,6 +438,12 @@ let propagateUnsatMu () =
       setAddState setFinishingStates state
     | Open ->
        setAddState setStates state;
+      if [] = (stateGetRules state)
+      then begin
+        stateSetStatus state Sat;
+        setAddState setFinishingStates state
+      end
+      else ();
       if bsetCompare (stateGetDeferral state) emptySet == 0
       then begin
         setAddState setFinishingStates state