[PD] Saving abstraction states?