[PD] saving instantiated abstractions