Assertion list for term "rest in infinity".

Results from Ascent++: 1
root (aspect of tree) CapableOfrest in infinity 0.32