let
pred_closed p =
Fol
.bad_pred_closed [] p