Predicate Make::isEndTuple
Holds if tuple is an end state in our search.
That means there exists a pair of loops (pivot, pumpEnd) such that tuple = (pivot, pumpEnd, pumpEnd).
Import path
import codeql.regex.nfa.SuperlinearBackTrackingpredicate isEndTuple(StateTuple tuple)