[PD] loadbang in dynamic abstractions