Global redundancy elimination finished