public static boolean slotHasUnknownTypeP(StorageSlot slot, Stella_Class renamed_Class) {
    return (Surrogate.unknownTypeP(StandardObject.typeSpecToBaseType(slot.computeReturnTypeSpec(renamed_Class.classType))));
  }