Assertion list for term "applied to contract".

Results from Ascent++: 1
standard ReceivesActionapplied to contract 0.25