diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index cf35e057c4bc20b382cfa7d2f9a1f35d11f25782..0035ba3a9304d61fb56696addfd46a4ef0f626de 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -178,7 +178,7 @@ let propagateSatMu () =
     let allowedCores = setEmptyCore () in
 
     let rec visitParentStates (core : core) : unit =
-      if not (setMemCore setCores core) then ()
+      if not (setMemCore setCores core || setMemCore setSatCores core) then ()
       else begin
         let children = coreGetChildren core in
         let acceptable =
@@ -194,7 +194,7 @@ let propagateSatMu () =
       end
 
     and visitParentCores (state : state) : unit =
-      if not (setMemState setStates state) then ()
+      if not (setMemState setStates state || setMemState setSatStates state) then ()
       else begin
         let rules = stateGetRules state in
         let ruleiter (dependencies, corelist) =