Added abstraction refinement case.