Debugging Abstraction Refinement