Adding non-determinism
Finished non-deterministic machine