Assertion list for term "divided by the depth".

Results from Ascent++: 1
sum ReceivesActiondivided by the depth 0.27