Assertion list for term "used in the contract".

Results from Ascent++: 1
term (aspect of contract) ReceivesActionused in the contract 0.60