Debugging minesweeper