deterministic -> check_deterministic