Assertion list
surf (primary) → ReceivesAction
Results from Ascent++: 2
surf → ReceivesAction → crowded 0.39
surf → ReceivesAction → expected 0.28