let pred_closed p = Fol.bad_pred_closed [] p