Assertion list for term "depend on height".

Results from Ascent++: 1
size CapableOfdepend on height 0.37