[PD] s-abstractions get changed when used