1 files changed, 2 insertions, 1 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend
index 1e7f1d2b..16438a5a 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend
@@ -183,7 +183,8 @@ class RefinementRuleProvider {
                                         

                                         if(containmentReferences.contains(relation)) {

                                                 val targetTypeInterpretation = getTypeInterpretation(i, relation, 1)

-                                                if(!(targetTypeInterpretation as PartialComplexTypeInterpretation).interpretationOf.isIsAbstract) {

+                                                val targetType = (targetTypeInterpretation as PartialComplexTypeInterpretation).interpretationOf

+                                                if((!targetType.isIsAbstract) && (targetType.supertypes.empty)) {

                                                         val inverseAnnotation = p.annotations.filter(InverseRelationAssertion).filter[it.inverseA === relation || it.inverseB === relation]

                                                         if(!inverseAnnotation.empty) {

                                                                 val onlyInverseAnnotation = if(inverseAnnotation.head.inverseA===relation) {