let
equal_terms e1 e2 =
Fol
.bad_eq_terms e1 e2