label in precondition in routine left@BOARD_2048
Merge branch 'client_server' of github.com:nmaguirre/eiffel-2048 into client_server