Assertion list
reference count (subgroup of count ) → ReceivesAction
Results from Ascent++: 1
reference count → ReceivesAction → decremented 0.84