let p_cond b pt pf = Fol.p_if (wrap b) pt pf