let term_has_var = Fol.e_has_var