don't reuse s0 DFA start state if nodfa.