Вынесение за группировку одинаковых подвыражений из альтернативы

Реализовать правило: "Если операнды альтернативы содержат одинаковые подвыражения слева (справа), то их можно вынести за группировку слева (справа)"