[PD] dynamically delete abstractions