Fix states with no children

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