[eacsl] Fix generated pointer in `&a[x..y]` annotation

The previous version generated `&a + x` instead of `a + x` but the
pointer arithmetic on `&a + x` is that we move the pointer `x` times the
size of the entire array instead of `x` times the size of an element of
the array.