[PD] abstractions $ variable inconsistency