gistfile1.txt

diff --git a/interp/implicit_quantifiers.ml b/interp/implicit_quantifiers.ml
index 1e97c51..5f60dc5 100644
--- a/interp/implicit_quantifiers.ml
+++ b/interp/implicit_quantifiers.ml
@@ -233,6 +233,12 @@ let combine_params avoid fn applied needed =
       | (x, None) :: app, (None, (Name id, _, _)) :: need ->
 	  aux (x :: ids) avoid app need
 
+      | _, (Some cl, (Name id, _, _) as d) :: need when let s =
+              string_of_id id in String.length s > 1 && 'z' = String.get s 1 ->
+	    aux (CHole (dummy_loc, None) :: ids) avoid app need
+      (*| x:: app, (Some cl, (Name id, _, _) as d) :: need when let s =
+              string_of_id id in String.length s > 1 && 'Z' = String.get s 1 ->
+	    aux (fst x:: ids) avoid app need *)
       | _, (Some cl, (_, _, _) as d) :: need ->
 	  let t', avoid' = fn avoid d in
 	    aux (t' :: ids) avoid' app need