Assertion list for term "shaped to right height".

Results from Ascent++: 1
bridge ReceivesActionshaped to right height 0.37