Gets a state the NFA may be in after matching t.
Import path
import codeql.regex.nfa.NfaUtils
State
after
(
RegExpTerm
t
)