Symbol: remove_overlapping_subtrees