Assertion list for term "incurred before termination".

Results from Ascent++: 1
fee ReceivesActionincurred before termination 0.53