Counterexample-guided_abstraction_refinement loading ...