bug: add return value to re2nfa