let rec cut p = function Pnamed (a,q) -> Pnamed(a,cut p q) | _ -> p