I can't think of any way in which that kind of non-determinism is correct, or even how it's generated