diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index 255dd9dcb9ce5f2a2599e27c3dea5591ab3dbf98..20f0a57fec77c73a6f745ce51529481d96555126 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -129,7 +129,7 @@ let propagateSatMu () =
        setAddState setSatStates state
     | Expandable -> ()
     | Open ->
-       if stateGetStatus state == Open && List.length (stateGetRules state) == 0
+       if stateGetStatus state == Open && List.length (stateGetRules state) == 0 || bsetCompare (bsetMake ()) (stateGetBs state) == 0
        then begin
          setAddState setSatStates state;
          stateSetStatus state Sat