Assertion list for term "reserved at spa".

Results from Ascent++: 1
block ReceivesActionreserved at spa 0.32