public static boolean polymorphicRelationP(Relation self) {
    { Surrogate testValue000 = Stella_Object.safePrimaryType(self);

      if (Surrogate.subtypeOfStorageSlotP(testValue000)) {
        { StorageSlot self000 = ((StorageSlot)(self));

          return (true);
        }
      }
      else if (Surrogate.subtypeOfP(testValue000, Logic.SGT_STELLA_TABLE)) {
        { Table self000 = ((Table)(self));

          return (true);
        }
      }
      else {
        return (false);
      }
    }
  }