let pred_has_var = Fol.p_has_var