Assertion list for term "adjusted to different heights".

Results from Ascent++: 1
handle ReceivesActionadjusted to different heights 0.30