[PD] avoid "properities"/"open" options in abstractions