Need for aliasing is checked deep in subtree.