(CoercDb.term_of_carr (CoercDb.Uri coer))
[] [] univ arity true
in
- assert (menv = []);
+ if (menv = []) then
+ prerr_endline
+ "MENV non empty after composing coercions";
build_obj t univ arity
| _ -> assert false
) (first_step, CicUniv.empty_ugraph) tl