Predicate Make :: isStartLoops
pumpEnd are a pair of loops that could be the beginning of a quadratic blowup.
There is a slight implementation difference compared to the paper: this predicate requires that
pivot != pumpEnd.
The case where
pivot = pumpEnd causes exponential backtracking and is handled by the
predicate isStartLoops ( State pivot , State pumpEnd )