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