Add contracts in routine SUDOKU_BOARD/unset_cell