Assertion list for term "divided by average width".

Results from Ascent++: 1
diamond ReceivesActiondivided by average width 0.31