[PD] put the argument of an abstraction in a message