diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index 02d91a06705c9c86465cd0f97c86ed67ef65cdb5..690814e58f08f4259b1db8ae66e7afe037c0e895 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -137,7 +137,7 @@ let propagateSatMu () =
       setAddState setFinishingStates state
     | Expandable -> ()
     | Open ->
-       if stateGetStatus state == Open && List.length (stateGetRules state) == 0 || (* States with no rules are satisfiable *)
+       if List.length (stateGetRules state) == 0 || (* States with no rules are satisfiable *)
          bsetCompare (bsetMake ()) (stateGetBs state) == 0 (* KD generates nodes with just True as formula *)
        then begin
          setAddState setFinishingStates state;