in
let coerced = Cic.Lambda (name_t,src2, bo) in
debug_print (lazy ("coerced: "^ CicMetaSubst.ppterm_in_context
- ~metasenv subst coerced context)(;
+ ~metasenv subst coerced context));
(coerced, expty), subst, metasenv, ugraph
| _ ->
coerce_atom_to_something t infty expty subst metasenv context ugraph