[PD] Easy way to list used abstractions in patch?