[PD] print all abstractions and externals