
Local Invariants
Specific Invariants: []
Never Present: [cEdge, ccEdge, city, cloister, cloisterZone, completed, controls, currentPlayer, currentTile, edge, farm, location, meepleLoc, meeplesLeft, nextTo, numSurroundingTiles, open, oppEdge, orientation, placedMeeples, player, road, score, terrain, tile, tileContains, tileEdge, tileLocation, tilesLeft, validLoc, worth]
Invariants count: 488