Added exercise to test non-determinism in K.