public static boolean unitIncludedInOtherUnitsP(TranslationUnit unit) {
    { MethodSlot method = null;

      if (!(unit.category == Stella.SYM_STELLA_METHOD)) {
        return (false);
      }
      else {
        {
          method = ((MethodSlot)(unit.theObject));
          if (((BooleanWrapper)(KeyValueList.dynamicSlotValue(method.dynamicSlots, Stella.SYM_STELLA_METHOD_CONSTRUCTORp, Stella.FALSE_WRAPPER))).wrapperValue) {
            { TranslationUnit otherUnit = null;
              Cons iter000 = ((List)(Stella.$TRANSLATIONUNITS$.get())).theConsList;

              for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
                otherUnit = ((TranslationUnit)(iter000.value));
                if ((otherUnit.category == Stella.SYM_STELLA_CLASS) &&
                    (Surrogate.canonicalType(method.slotBaseType) == ((Stella_Class)(otherUnit.theObject)).classType)) {
                  return (true);
                }
              }
            }
            return (false);
          }
          else {
            { TranslationUnit otherUnit = null;
              Cons iter001 = ((List)(Stella.$TRANSLATIONUNITS$.get())).theConsList;

              for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
                otherUnit = ((TranslationUnit)(iter001.value));
                if ((otherUnit.category == Stella.SYM_STELLA_CLASS) &&
                    (Surrogate.canonicalType(method.slotOwner) == ((Stella_Class)(otherUnit.theObject)).classType)) {
                  return (true);
                }
              }
            }
            return (false);
          }
        }
      }
    }
  }