Assertion list
straddle (primary) → ReceivesAction
Results from Ascent++: 1
straddle → ReceivesAction → limited 0.42