Fixed load_game_postcondition.