Predicate ReDoS::after

Gets a state the NFA may be in after matching t.

State after(RegExpTerm t)