* CEGAR.cs:
* CEGARMethod.cs:
* ConsistencyMethod.cs:
* Domain.cs:
* ConsistencyCheck.csproj:
* IDomain.cs:
* ResizeableDomain.cs:
* CartesianAbstractionVertex.cs: 

* CartesianAbstraction.cs: Changed the Minimize function.