Re: [PD] Getting argument number in abstraction