bug: reset counter in re2nfa