For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
Holds if tuple is an end state in our search.
That means there exists a pair of loops (pivot, succ) such that tuple = (pivot, succ, succ).
tuple = (pivot, succ, succ)
predicate isEndTuple(StateTuple tuple)