Code generation for array allocators
Simplify representation of array accesses