This variable name should be more descriptive, like "check_deterministic"