private static @Nullable DfaValue copyOfArray(DfaCallArguments arguments,
                                                DfaValueFactory factory,
                                                PsiMethod method) {
    if (arguments.myArguments.length < 2) return null;
    return factory.getWrapperFactory().createWrapper(typedObject(method.getReturnType(), Nullability.NOT_NULL).meet(LOCAL_OBJECT),
                                                     ARRAY_LENGTH, arguments.myArguments[1]);
  }
private static @Nullable DfaValue copyOfArray(DfaCallArguments arguments,
                                                DfaValueFactory factory,
                                                PsiMethod method)