Avoid complete backtrack at abstraction refinement