[PD] dynamically loading abstractions