List<SNode> superTypes = subtypingRule.o1.getSubOrSuperTypes(term, context, subtypingRule.o2);
if (superTypes != null) {
result.addAll(superTypes);
}
}
<BUG>}
}
finally {
LanguageScope.popCurrent(languageScope, this);
}</BUG>
}

List<SNode> superTypes = subtypingRule.o1.getSubOrSuperTypes(term, context, subtypingRule.o2);
if (superTypes != null) {
result.addAll(superTypes);
}
}
}
return result;
}
});
}
