Stratified Case-Based Reasoning in Non-Refinable Abstraction Hierarchies