Minor redundancy elimination