Assertion list for term "used on finn".

Results from Ascent++: 1
spin ReceivesActionused on finn 0.32