[PD] data structures in abstractions