@Override
    public @NotNull DfType getArrayComponentType() {
      return instanceOfTypes().map(Exact::getArrayComponentType)
        .reduce(DfType::meet).orElse(DfType.BOTTOM);
    }
@Override
    public @NotNull DfType getArrayComponentType()