let
pred_closed t =
Fol
.bad_pred_closed [] t