public static boolean methodContainsAnchoredTypeP(MethodSlot method) {
    if (((Stella_Class)(method.slotOwner.surrogateValue)).abstractP) {
      if ((((CompoundTypeSpecifier)(KeyValueList.dynamicSlotValue(method.dynamicSlots, Stella.SYM_STELLA_SLOT_TYPE_SPECIFIER, null))) != null) &&
          Stella_Object.isaP(((CompoundTypeSpecifier)(KeyValueList.dynamicSlotValue(method.dynamicSlots, Stella.SYM_STELLA_SLOT_TYPE_SPECIFIER, null))), Stella.SGT_STELLA_ANCHORED_TYPE_SPECIFIER)) {
        return (true);
      }
      { StandardObject ptype = null;
        Cons iter000 = method.methodParameterTypeSpecifiers().theConsList;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          ptype = ((StandardObject)(iter000.value));
          if (Stella_Object.isaP(ptype, Stella.SGT_STELLA_ANCHORED_TYPE_SPECIFIER)) {
            return (true);
          }
        }
      }
    }
    return (false);
  }