Predicate ReDoS::getAForkPair

Gets a state in the product automaton from which (fork, fork) is reachable in zero or more epsilon transitions.

StatePair getAForkPair(State fork)