updated to use latest version of regex2nfa