@NotNull
  private static ObjectWithSpecialField collectionWithSize(ReferenceType type, int size) {
    PrimitiveConstant length = new PrimitiveConstant(DfTypes.intValue(size));
    return new ObjectWithSpecialField(type, SpecialField.COLLECTION_SIZE, length);
  }
@NotNull
  private static ObjectWithSpecialField collectionWithSize(ReferenceType type, int size)