Preliminarily mark States with no childs Sat in propagateSatMu

Should actually happen when the State changes from `Expandable` to
`Open` and trigger the propagateSatMu but for now just do it in
propagateSatMu so we can observe the algorithm working.

src/lib/CoAlgReasoner.ml

@@ -129,6 +129,11 @@ let propagateSatMu () =
        setAddState setSatStates state
     | Expandable
     | Open ->
+       if stateGetStatus state == Open && List.length (stateGetRules state) == 0
+       then begin
+         setAddState setSatStates state;
+         stateSetStatus state Sat
+       end else begin
          setAddState setStates state;
          if bsetCompare (stateGetDeferral state) emptySet == 0
          then begin
@@ -136,6 +141,7 @@ let propagateSatMu () =
            setAddState setFinishingStates state
          end
          else ()
+       end
   in
   let coreCollector core =
     match coreGetStatus core with