Assertion list
blocker (primary) → ReceivesAction
Results from Ascent++: 3
blocker → ReceivesAction → removed 0.47
blocker → ReceivesAction → declared 0.41
blocker → ReceivesAction → accommodated in each groove 0.25