Assertion list
nit (primary) → ReceivesAction
Results from Ascent++: 2
nit → ReceivesAction → removed 0.58
nit → ReceivesAction → difficult to remove 0.25