}
}
}
for (SNode node : subtypingGraphVertices()) {
if (node instanceof RuntimeTypeVariable) continue;
<BUG>Set<SNode> supertypes = mySubtypesToSupertypesMap.get(node);
</BUG>
if (supertypes == null) continue;
<BUG>for (SNode supertype : new HashSet<SNode>(supertypes)) {
</BUG>
if (supertype instanceof RuntimeTypeVariable) continue;

}
}
}
}
for (SNode node : subtypingGraphVertices()) {
if (node instanceof RuntimeTypeVariable) continue;
Map<SNode,SNode> supertypes = mySubtypesToSupertypesMap.get(node);
if (supertypes == null) continue;
for (SNode supertype : new HashSet<SNode>(supertypes.keySet())) {
