let p_alpha_cv p = Fol.p_alpha_cv (fun _ () -> assert false) p