Do bool_step_prop4 exercise in Smallstep
Do step_not_deterministic exercise in Smallstep
Do strong_progress exercise in Smallstep
Do multi_step exercises in Smallstep