Assertion list
heavy (primary) → ReceivesAction
Results from Ascent++: 1
heavy → ReceivesAction → used to launch two paying custo… 0.25