RED: test_that_game_engine_correctly_verifies_consistency_3
GREEN: test_that_game_engine_correctly_verifies_consistency_3