implemented Automaton.removeNondistinguishableStates()