(fun (subst, equality, swapped) (bag,acc) ->
let (_,p,(ty,l,r,_),m,id) = Equality.open_equality equality in
let cicmenv = Subst.apply_subst_metasenv subst (m @ menv) in
- Indexing.check_for_duplicates cicmenv "from subsumption";
+ if Utils.debug_metas then
+ Indexing.check_for_duplicates cicmenv "from subsumption";
let bag, p =
if swapped then
Equality.symmetric bag eq_ty l id uri m