Added outcome of abstraction refinement.