107_minesweeper: added some basic invariants.