let
term_has_var =
Fol
.e_has_var (
fun
_ ()
->
false
)