Assertion list for term "written in solidity".

Results from Ascent++: 1
smart contract (subgroup of contract) ReceivesActionwritten in solidity 0.43