Maybe implement something similar to split fields but for arrays (separating by type)

[rcastano]

We model arrays using a bidimensional map. This might make it hard for AV to figure out that two arrays are not aliased, even when due to the type information we could know that statically.

We don't know yet whether this will impact the integration with AV but it's worth taking into account.