tree-diff: show_tree() is not needed