Assertion list for term "charged to contract".

Results from Ascent++: 1
expense ReceivesActioncharged to contract 0.48