ReduceTrees function

Collapse areas of agreement between two trees