Added definition for verify_game_state_consistency