Simplifying ET operator for kleene star