let equal_terms e1 e2 = Fol.bad_eq_terms e1 e2