public static boolean helpMostSpecificMethodP(Stella_Class renamed_Class, MethodSlot method) {
    if (renamed_Class == null) {
      return (true);
    }
    { boolean testValue000 = false;

      { boolean foundP000 = false;

        { Slot slot = null;
          Cons iter000 = renamed_Class.classLocalSlots.theConsList;

          loop000 : for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            slot = ((Slot)(iter000.value));
            if (slot.slotDirectEquivalent == method) {
              foundP000 = true;
              break loop000;
            }
          }
        }
        testValue000 = foundP000;
      }
      testValue000 = !testValue000;
      if (testValue000) {
        { boolean alwaysP000 = true;

          { Surrogate sub = null;
            Cons iter001 = renamed_Class.classDirectSubs.theConsList;

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

        return (value000);
      }
    }
  }