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