let pred_closed t = Fol.bad_pred_closed [] t