public static boolean methodContainsUnknownTypeP(MethodSlot method) {
    { boolean foundP000 = false;

      { StandardObject rtype = null;
        Cons iter000 = method.methodReturnTypeSpecifiers().theConsList;

        loop000 : for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          rtype = ((StandardObject)(iter000.value));
          if (Surrogate.unknownTypeP(StandardObject.typeSpecToBaseType(StandardObject.computeRelativeTypeSpec(rtype, method.slotOwner)))) {
            foundP000 = true;
            break loop000;
          }
        }
      }
      if (foundP000) {
        return (true);
      }
    }
    { StandardObject ptype = null;
      Cons iter001 = method.methodParameterTypeSpecifiers().theConsList;

      for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
        ptype = ((StandardObject)(iter001.value));
        if (Surrogate.unknownTypeP(StandardObject.typeSpecToBaseType(StandardObject.computeRelativeTypeSpec(ptype, method.slotOwner)))) {
          return (true);
        }
      }
    }
    return (false);
  }