"equivalence up to exclusion binders (selected lenvs)"
"syntactic equivalence (items)"
"syntactic equivalence (selected closures) removed"
"equivalence up to exclusion binders (selected lenvs)"
"syntactic equivalence (items)"
"syntactic equivalence (selected closures) removed"