User blog comment:Vel!/Dollar function redux/@comment-1605058-20131023204721

How about labelling root with number n? Then the labelled tree would be only variable. I also think it should be noted we copy P together with all its descendants.