[PD] Setting a variable in abstractions