Predicate Make :: isEndTuple
tuple is an end state in our search, and
tuple is on a path from a start state to an end state.
That means there exists a pair of loops
(pivot, pumpEnd) such that
tuple = (pivot, pumpEnd, pumpEnd).
predicate isEndTuple ( StateTuple tuple )