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