Assertion list for term "set receive window".

Results from Ascent++: 1
transmission CapableOfset receive window 0.25