Teaching non-determinism in computer science