added test/property for minimal sudoku
spelling mistake