Predicate ReDoS::epsilonSucc

Gets a state that q has an epsilon transition to.

State epsilonSucc(State q)