RED: test_correctness_of_verify_that_snake_does_not_overstep_boundaries_2
GREEN: test_correctness_of_verify_that_snake_does_not_overstep_boundaries_2