Bool strong_progress, step_deterministic