Predicate Make::tupleDeltaBackwards
Holds if there exists a transition from r to q in the product automaton.
Notice that the arguments are flipped, and thus the direction is backwards.
Import path
import codeql.regex.nfa.SuperlinearBackTrackingpredicate tupleDeltaBackwards(StateTuple q, StateTuple r)