Assertion list
quick (primary) → ReceivesAction
Results from Ascent++: 2
quick → ReceivesAction → exposed 0.36
quick → ReceivesAction → nicked 0.22