Translate 7.8.1 "Subtree Merging".