if (lcs.isEmpty()) {
ErrorReporter.getInstance().setErrorString(node, "can't find common supertype");//todo show subtypes
TypeChecker.reportTypeError(node);</BUG>
} else {
<BUG>addEquation(node, lcs.iterator().next()); // todo not just first type but intersection
</BUG>
}
}
}
for (SNode node : subtypingGraphVertices()) {

if (lcs.isEmpty()) {
TypeChecker.reportTypeError(nodeToCheck,"can't find common supertype"); //todo show subtypes
} else {
addEquation(node, lcs.iterator().next(), nodeToCheck); // todo not just first type but intersection
}
}
}
for (SNode node : subtypingGraphVertices()) {
