if (rule.o1.checkInequation(subType, superType, new EquationInfo(null, null), rule.o2, isWeak)) {
return true;
}
}
return false;
<BUG>}
finally {
LanguageScope.popCurrent(languageScope, this);
}</BUG>
}

if (rule.o1.checkInequation(subType, superType, new EquationInfo(null, null), rule.o2, isWeak)) {
return true;
}
}
return false;
}
});
}
