@Contract("null, _, _ -> null; !null, _, _ -> !null")
  private static DfaValue collectionView(@Nullable DfaValue orig,
                                         @NotNull DfaValueFactory factory,
                                         @NotNull PsiMethod method) {
    if (orig == null) return null;
    return factory.getWrapperFactory().createWrapper(typedObject(method.getReturnType(), Nullability.NOT_NULL),
                                                     COLLECTION_SIZE, COLLECTION_SIZE.createValue(factory, orig));
  }
@Contract("null, _, _ -> null; !null, _, _ -> !null")
  private static DfaValue collectionView(@Nullable DfaValue orig,
                                         @NotNull DfaValueFactory factory,
                                         @NotNull PsiMethod method)