public static void addDirectSupersBackLinks(Stella_Class renamed_Class) {
    { List directsupers = renamed_Class.classDirectSupers;
      Surrogate classtype = renamed_Class.classType;

      directsupers.removeDuplicates();
      { Surrogate supertype = null;
        Cons iter000 = directsupers.theConsList;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          supertype = ((Surrogate)(iter000.value));
          if (((Stella_Class)(supertype.surrogateValue)) != null) {
            { Stella_Class superclass = ((Stella_Class)(supertype.surrogateValue));

              superclass.classDirectSubs.insertNew(classtype);
              TaxonomyGraph.linkTaxonomyNodes(Stella.$CLASS_TAXONOMY_GRAPH$, ((Stella_Class)(supertype.surrogateValue)).classTaxonomyNode, renamed_Class.classTaxonomyNode);
            }
          }
        }
      }
    }
  }