Added CEGAR as a method to identify unsolvable instances.
Some refactoring in CEGAR.cs
Added TODOs.
Changed the initial abstraction to make one vertex for the concrete initial state and one vertex for all the goals.
Added domain filtering analysis thingy.
Fixed Minimize.
Added CommandLineParser and made CEGAR run in its own thread.
Improved CommandLineParser thingy.
Added consistency check to command line parser thingy.
Merge branch 'CEGAR'