fixed a bug with epsilonJump(State) and epsilonJump(Set[State])