Assertion list
body (aspect of barracuda ) → ReceivesAction
Results from Ascent++: 2
body → ReceivesAction → covered 0.68
body → ReceivesAction → compressed 0.56