let pred_closed p = Fol.p_closed [] p