RED: test_that_game_engine_correctly_verifies_consistency_4
GREEN: test_that_game_engine_correctly_verifies_consistency_4