Added label in postcondition in out@BOARD_2048.