union(Set[Automaton]) changed, concatenate(Set[Automaton]) added, bug with removeNondistinguishableStates noted