let
bad_term_closed xs e = e_closed (
fun
_ _
->
false
) xs e