Assertion list for term "taper down at upstream end".

Results from Ascent++: 1
sleeve CapableOftaper down at upstream end 0.33