[PD] patching dynamically in abstractions ...