Assertion list for term "collected on amortized pools".

Results from Ascent++: 1
cash ReceivesActioncollected on amortized pools 0.25