Assertion list for term "associated with removal".

Results from Ascent++: 1
hazard ReceivesActionassociated with removal 0.28