let
pred_has_var =
Fol
.p_has_var