Debugging Ninjas Minesweeper