Assertion list for term "collected at trap".

Results from Ascent++: 1
count ReceivesActioncollected at trap 0.25