tree-diff: diff_tree() should now be static