Added non-determinism in choice of message to schedule.