Assertion list for term "float in the middle".

Results from Ascent++: 1
condo CapableOffloat in the middle 0.16