Assertion list for term "checked for security vulnerabilities".

Results from Ascent++: 1
smart contract (subgroup of contract) ReceivesActionchecked for security vulnerabilities 0.16