made Automaton.union(Set[Automaton]) faster