Added limited nondeterminism and rejected state