Assertion list for term "used to accommodate tightness".

Results from Ascent++: 1
prop ReceivesActionused to accommodate tightness 0.26