let
pred_closed p =
Fol
.p_closed [] p