[PD] position of an abstraction in a patch