[PD] Getting argument number in abstraction