Array.for_all != bsetForall

lib/src/CoAlgLogics.ml

@@ -591,7 +591,7 @@ let oneStepSat_MultiModalK (u: bset list) sv =
     in
     List.exists (fun bs -> bsetMem bs lf) cands
   in
-  Array.for_all (fun lf -> existsInU (lfGetDest3 sort lf) (lfGetDest1 sort lf)) diamonds
+  bsetForall diamonds (fun lf -> existsInU (lfGetDest3 sort lf) (lfGetDest1 sort lf))
 
 let rec oneStepGMLRec counters sort v currentU =
   let isExceedingBox lf =