fixed bug in DFA.union