Assertion list for term "burst in the worst case".

Results from Ascent++: 1
pipe CapableOfburst in the worst case 0.36