Prepare DFA minimization.