changing statements test to be non-deterministic