public static boolean slotHasClassParameterTypeP(StorageSlot slot, Stella_Class renamed_Class) {
    return ((((CompoundTypeSpecifier)(KeyValueList.dynamicSlotValue(slot.dynamicSlots, Stella.SYM_STELLA_SLOT_TYPE_SPECIFIER, null))) != null) &&
        (Stella_Object.isaP(((CompoundTypeSpecifier)(KeyValueList.dynamicSlotValue(slot.dynamicSlots, Stella.SYM_STELLA_SLOT_TYPE_SPECIFIER, null))), Stella.SGT_STELLA_ANCHORED_TYPE_SPECIFIER) &&
         (slot.computeReturnTypeSpec(renamed_Class.classType) == Stella.SGT_STELLA_UNKNOWN)));
  }