Initial test for determinism
Second test for non-deterministic behaviour.
Correct check for non-determinism
Correct check for state initialisation.