public static void insertPrimitiveSuper(Surrogate newsuper, List supers) {
    { boolean foundP000 = false;

      { Surrogate sup = null;
        Cons iter000 = supers.theConsList;

        loop000 : for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          sup = ((Surrogate)(iter000.value));
          if (Surrogate.subtypeOfP(newsuper, sup)) {
            foundP000 = true;
            break loop000;
          }
        }
      }
      if (!(foundP000)) {
        { Surrogate subsumedsuper = null;

          loop001 : for (;;) {
            { 
              { Surrogate value000 = null;

                { Surrogate sup = null;
                  Cons iter001 = supers.theConsList;

                  loop002 : for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
                    sup = ((Surrogate)(iter001.value));
                    if (Surrogate.subtypeOfP(sup, newsuper)) {
                      value000 = sup;
                      break loop002;
                    }
                  }
                }
                subsumedsuper = value000;
              }
              if (!(subsumedsuper != null)) {
                break loop001;
              }
            }
            supers = ((List)(supers.remove(subsumedsuper)));
          }
          supers.insert(newsuper);
        }
      }
    }
  }