method instantiate =
try
let params =
List.map
(function
| Svalue v -> v
| Sclosure _ -> raise Not_found)
partials
in
UserAxiomDefs.define axdef ;
Some (F.p_call axdef.a_hyp_name params)
with Not_found -> None