[PD] Number of Creation Arguments of an Abstraction