Assertion list
overlap (primary) → ReceivesAction
Results from Ascent++: 3
overlap → ReceivesAction → observed 0.58
overlap → ReceivesAction → reduced 0.25
overlap → ReceivesAction → tested 0.16