add invariant in SUDOKU_BOARD