Some refactoring in CEGAR.cs