Lines Matching full:nondeterminism
530 // first, would introduce nondeterminism (or something close to it)