Compiles and tests run

lib/src/CoAlgLogics.ml

@@ -615,18 +615,18 @@ let rec oneStepGMLRec counters sort v currentU =
       let modalArg = lfGetDest1 sort lf in
       let newVal = (Hashtbl.find counters lf) + 1 in
       match lfGetType sort lf with
-      | MoreThanF -> bsetMem u modalArg then Hashtbl.add counters lf newVal
-      | MaxExceptF -> not (bsetMem u modalArg) then Hashtbl.add counters lf newVal
+      | MoreThanF -> if bsetMem u modalArg then Hashtbl.add counters lf newVal
+      | MaxExceptF -> if not (bsetMem u modalArg) then Hashtbl.add counters lf newVal
       | _ -> ()
     in
     let updateCountersRem lf = 
       let modalArg = lfGetDest1 sort lf in
       match lfGetType sort lf with
-      | MoreThanF -> bsetMem u modalArg then Hashtbl.remove counters lf
-      | MaxExceptF -> not (bsetMem u modalArg) then Hashtbl.remove counters lf
+      | MoreThanF -> if bsetMem u modalArg then Hashtbl.remove counters lf
+      | MaxExceptF -> if not (bsetMem u modalArg) then Hashtbl.remove counters lf
       | _ -> ()
     in
-    let fitleredV = (List.assoc rel filteredVsForRels) in
+    let filteredV = (List.assoc rel filteredVsForRels) in
     bsetIter updateCountersAdd filteredV;
     if ((oneStepGMLRec counters sort filteredV filteredU)) then true
     else begin