REFACTOR: test_correctness_of_verify_that_snake_does_not_overstep_boundaries_2