Also allow non-deterministic simulation.