public static boolean mostSpecificMethodP(MethodSlot method) {
    { boolean alwaysP000 = true;

      { Surrogate sub = null;
        Cons iter000 = ((Stella_Class)(method.slotOwner.surrogateValue)).classDirectSubs.theConsList;

        loop000 : for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          sub = ((Surrogate)(iter000.value));
          if (!Stella_Class.helpMostSpecificMethodP(((Stella_Class)(sub.surrogateValue)), method)) {
            alwaysP000 = false;
            break loop000;
          }
        }
      }
      { boolean value000 = alwaysP000;

        return (value000);
      }
    }
  }