The alias analysis already assumes this, and it seems a better approach anyway (copying every single element can be very expensive)