setParent(typeOnPath, type);
}
}
return type;
}
<BUG>public void addInequation(SNode subType, SNode supertype) {
</BUG>
SNode subtypeRepresentator = getRepresentator(subType);
SNode supertypeRepresentator = getRepresentator(supertype);
if (subtypeRepresentator == supertypeRepresentator) return;

setParent(typeOnPath, type);
}
}
return type;
}
public void addInequation(SNode subType, SNode supertype, SNode nodeToCheck) {
SNode subtypeRepresentator = getRepresentator(subType);
SNode supertypeRepresentator = getRepresentator(supertype);
if (subtypeRepresentator == supertypeRepresentator) return;
