Assertion list
body (aspect of pointer ) → ReceivesAction
Results from Ascent++: 2
body → ReceivesAction → coupled 0.25
body → ReceivesAction → executed 0.25