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

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

mySupertypesToSubtypesMap.remove(var);
for (SNode subtype : subtypes.keySet()) {
mySubtypesToSupertypesMap.get(subtype).remove(var);
