[PD] live patching with new instances of abstractions