Repair/RepairCompiler/MCC/specs/freeciv/test.constraints

   1 [],sizeof(MAP)=1;
   2 [],sizeof(GRID)=1;
   3 [forall t in TILE],t.TERRAIN>=0 and t.TERRAIN<=13;
   4 [forall c in CITY],sizeof(c.~CITYMAP)=1;
   5 [forall c in CITY],!c.~CITYMAP.TERRAIN=7;