[PD] in/out-let order in abstraction