Debugging mode works in both deterministic and non-deterministic modes.