Predicate step
Holds if there are transitions from the components of q to the corresponding
components of r labelled with s1, s2, and s3, respectively.
Import path
import semmle.javascript.security.performance.SuperlinearBackTrackingpredicate step(StateTuple q, InputSymbol s1, InputSymbol s2, InputSymbol s3, StateTuple r)