Vectorize: teach cavVectorizeMemory to distinguish between A[i]+=x and A[B[i]]+=x.