let equal_terms e1 e2 = Fol.eq_terms e1 e2