let p_named label p = PRED.Pnamed(label,p)