let bad_term_has_var t = e_has_var (fun _ _ -> true) t