Debugging DFA minimization