let
term_has_var =
Fol
.e_has_var