NFARulebook#nextStates fixed. return Set[A].