Predicate ReDoS::delta2

predicate delta2(StatePair q, StatePair r)