Assertion list for term "used in pda".

Results from Ascent++: 1
lcd ReceivesActionused in pda 0.25