public static void inheritSuperclasses(Stella_Class renamed_Class) {
    { List parentclasses = List.newList();

      Stella_Class.collectDirectSuperClasses(renamed_Class, parentclasses);
      if (!renamed_Class.multipleParentsP()) {
        { Stella_Class onlyparent = ((Stella_Class)(parentclasses.first()));

          if (onlyparent == null) {
            return;
          }
          renamed_Class.classAllSuperClasses = Cons.cons(onlyparent, onlyparent.classAllSuperClasses);
          return;
        }
      }
      parentclasses = parentclasses.reverse();
      { Cons allsuperclasses = Stella.NIL;
        Cons sublist = null;

        { Stella_Class parent = null;
          Cons iter000 = parentclasses.theConsList;

          for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            parent = ((Stella_Class)(iter000.value));
            sublist = Stella.NIL;
            { Stella_Class ancestor = null;
              Cons iter001 = parent.classAllSuperClasses;
              Cons collect000 = null;

              for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
                ancestor = ((Stella_Class)(iter001.value));
                if (!allsuperclasses.memberP(ancestor)) {
                  if (collect000 == null) {
                    {
                      collect000 = Cons.cons(ancestor, Stella.NIL);
                      if (sublist == Stella.NIL) {
                        sublist = collect000;
                      }
                      else {
                        Cons.addConsToEndOfConsList(sublist, collect000);
                      }
                    }
                  }
                  else {
                    {
                      collect000.rest = Cons.cons(ancestor, Stella.NIL);
                      collect000 = collect000.rest;
                    }
                  }
                }
              }
            }
            sublist = Cons.cons(parent, sublist);
            allsuperclasses = sublist.concatenate(allsuperclasses, Stella.NIL);
          }
        }
        renamed_Class.classAllSuperClasses = allsuperclasses;
      }
    }
  }