</BUG>
return;
} else {
if (varLhs != null) {
<BUG>processEquation(lhsRepresentator, rhsRepresentator);
</BUG>
return;
}
}
if (!compareNodes(rhsRepresentator, lhsRepresentator)) {

SNode lhsRepresentator = getRepresentator(rhs);
if (rhsRepresentator == lhsRepresentator) return;
RuntimeTypeVariable varRhs = TypeVariablesManager.getTypeVar(rhsRepresentator);
RuntimeTypeVariable varLhs = TypeVariablesManager.getTypeVar(lhsRepresentator);
if (varRhs != null) {
processEquation(rhsRepresentator, lhsRepresentator, nodeToCheck);
return;
} else {
if (varLhs != null) {
processEquation(lhsRepresentator, rhsRepresentator, nodeToCheck);
return;
}
}
if (!compareNodes(rhsRepresentator, lhsRepresentator)) {
