diff --git a/coalgcompare.ml b/coalgcompare.ml
index e7f5363d663e20213db07d27e326c06f06444bdb..8f2ad959e2c5c756480dd7897743f393f58e3520 100644
--- a/coalgcompare.ml
+++ b/coalgcompare.ml
@@ -145,8 +145,8 @@ let doTestK () : testresults =
   let timeout = 300 in (* 5 minutes *)
   let lF = List.map (fun p -> (string_of_int p, 1)) (0--10) in
   let lFF = [((fun x -> C.NOT x),1)] in
-  let lFFF = [(C.AND,1),(C.OR,1)] in
-  let lPFF = [(C.EX,1),(C.AX,1)] in
+  let lFFF = [((fun x y -> C.AND x y),1), ((fun x y -> C.OR x y),1)] in
+  let lPFF = [(fun p f -> C.EX p f,1),(fun p f -> C.AX p f,1)] in
   (* role names *)
   let lP = List.map (fun p -> (string_of_int p, 1)) (0--10) in
   let lPP = [] in