mutual recursion admitted under lexicographic measures

1 files changed, 3 insertions, 3 deletions

diff --git a/lib/vm.ml b/lib/vm.ml
index 84c5c77..0d34e4a 100644
--- a/lib/vm.ml
+++ b/lib/vm.ml
@@ -155,13 +155,13 @@ module Make (W : World.WORLD) = struct
                      facts)
             | Some (World.Rules rules) ->
                 let witness_ground rule =
-                  match rule.World.witness with
-                  | None -> true
-                  | Some label -> (
+                  List.for_all
+                    (fun label ->
                       match Label.Map.find_opt label bindings with
                       | Some pattern ->
                           Pattern.is_ground (Pattern.Subst.resolve subst pattern)
                       | None -> false)
+                    rule.World.witness
                 in
                 if List.for_all witness_ground rules then
                   Run