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