added game simulation and nondeterministic primitives