I think this clones the entire tree.  It would be more efficient to clone just the top node - and safe if you returned a constant tree,