let
equal_terms e1 e2 =
Fol
.eq_terms e1 e2