Holds if there are transitions from the components of q to r1, r2, and r3 labelled withs1,s2, ands3`, respectively.
Import path
import codeql.regex.nfa.SuperlinearBackTrackingpredicate step(StateTuple q, InputSymbol s1, InputSymbol s2, InputSymbol s3, State r1, State r2, State r3)