Fixed bug in Minimize(...).
Added BreathFirstSearch and changed so CEGAR uses it.