CEGAR Loop Annealing