let
pred_has_var =
Fol
.p_has_var term_has_var