let
term_of_var v =
Fol
.e_var v