Assertion list for term "terminated for whatever reason".

Results from Ascent++: 2
agreement ReceivesActionterminated for whatever reason 0.43
contract ReceivesActionterminated for whatever reason 0.22