Assertion list
contract template (subgroup of template ) → ReceivesAction
Results from Ascent++: 1
contract template → ReceivesAction → created 0.25