[PD] finding out if an abstraction instance exists