Assertion list for term "stay in bound".

Results from Ascent++: 1
ball CapableOfstay in bound 0.38