Implements Link operator: Links together roots with common descendants.