[PD] default value for an abstraction's creation argument