mySubtypesToSupertypesMap.remove(var);
<BUG>for (SNode supertype : supertypes) {
</BUG>
mySupertypesToSubtypesMap.get(supertype).remove(var);
}
<BUG>for (SNode supertype : supertypes) {

addInequation(type, supertype);
}</BUG>
}

mySubtypesToSupertypesMap.remove(var);
for (SNode supertype : supertypes.keySet()) {
mySupertypesToSubtypesMap.get(supertype).remove(var);
}
for (SNode supertype : supertypes.keySet()) {
addInequation(type, supertype, supertypes.get(supertype));
}
}
