If root is Sat, formula is unconditionally Sat

src/lib/CoAlgReasoner.ml

@@ -1049,7 +1049,7 @@ let isRootSat () =
   match coreGetStatus (graphGetRoot ()) with
   | Expandable -> None
   | Unsat -> Some false
-  | Sat -> if (queueIsEmpty()) then Some true else None
+  | Sat -> Some true
   | Open -> if (queueIsEmpty()) then Some false else None
 
 let reasonerFinished () =