diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index 46286bd09714b446d2f0dd4cac74b94839379d54..aebf4247e85095d6b316d8f44cd6c9b6136c96e9 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -124,6 +124,7 @@ let propagateSatMu () =
     match stateGetStatus state with
     | Unsat -> ()
     | Sat ->
+       setAddState setStates state;
        setAddState setFinishingStates state
     | Expandable -> ()
     | Open ->
@@ -145,6 +146,7 @@ let propagateSatMu () =
     match coreGetStatus core with
     | Unsat -> ()
     | Sat ->
+       setAddCore setCores core;
        setAddCore setFinishingCores core
     | Expandable
     | Open ->