let rec cut pnew = function Pnamed(label,p) -> Pnamed(label,cut pnew p) | _ -> pnew