Assertion list for term "indicated in the contract".

Results from Ascent++: 1
address ReceivesActionindicated in the contract 0.16