[PD] array data in abstractions