Does `test_case` follow EVERY one of the `evaluation_steps` completely, with no shortcomings?