public void addSupertype(ObjectType subtype, ObjectType supertype) {
public void addSupertype(ObjectType supertype) {
	public void addSupertype(ObjectType subtype, ObjectType supertype) {		supertypeSet.set(supertype.getLabel());		if (!subtype.equals(supertype))			properSupertypeListInBFSOrder.add(supertype);	}