(fun matched_terms constructors terms ->
(* prerr_endline "variable_closure"; *)
match terms with
| hd :: tl -> ksucc (hd :: matched_terms) constructors tl
(fun matched_terms constructors terms ->
(* prerr_endline "variable_closure"; *)
match terms with
| hd :: tl -> ksucc (hd :: matched_terms) constructors tl