Assertion list
shad (primary) → ReceivesAction
Results from Ascent++: 1
shad → ReceivesAction → caught 0.38