107_minesweeper: split up exposeSquare function, and added more invariants.