Assertion list for term "used to store outer box".

Results from Ascent++: 1
tube ReceivesActionused to store outer box 0.16