added nondeterminism in the compiler.