after minimizing, remove duplicate entries in transition table