Label the postcondition of routine is_available@CELL_2048
Merge branch 'my_branch' into client_server