public static void markUnmarkedSuperrelations(Description description, MarkerTable selfisbelowtable) {
    selfisbelowtable.setMarker(description);
    { NamedDescription renamed_Super = null;
      Cons iter000 = Description.allNamedDirectSuperdescriptions(description, true);

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        renamed_Super = ((NamedDescription)(iter000.value));
        if (!selfisbelowtable.testMarkerP(description)) {
          Description.markUnmarkedSuperrelations(renamed_Super, selfisbelowtable);
        }
      }
    }
  }