Assertion list for term "used to measure keep".

Results from Ascent++: 1
clock ReceivesActionused to measure keep 0.32