Assertion list for term "terminated for default".

Results from Ascent++: 1
contract ReceivesActionterminated for default 0.39