Fixes, merging final states in DFA minimization is still problematic