return;
}
}
if (!compareNodes(rhsRepresentator, lhsRepresentator)) {
String error = "incompatible types: " + rhsRepresentator + " and " + lhsRepresentator; //todo more friendly error representation
<BUG>processErrorEquation(lhsRepresentator, rhsRepresentator, error);
</BUG>
return;
}
Set<Pair<SNode, SNode>> childEQs = createChildEquations(rhsRepresentator, lhsRepresentator);

return;
} else {
if (varLhs != null) {
processEquation(lhsRepresentator, rhsRepresentator, nodeToCheck);
return;
}
}
if (!compareNodes(rhsRepresentator, lhsRepresentator)) {
String error = "incompatible types: " + rhsRepresentator + " and " + lhsRepresentator; //todo more friendly error representation
processErrorEquation(lhsRepresentator, rhsRepresentator, error, nodeToCheck);
return;
}
Set<Pair<SNode, SNode>> childEQs = createChildEquations(rhsRepresentator, lhsRepresentator);
