Member predicate ReDoSConfiguration::isReDoSCandidate

Holds if state with the pump string pump is a candidate for a ReDoS vulnerable state. This is used to determine which states are considered for the prefix/suffix construction.