Assertion list for term "run over under pipe".

Results from Ascent++: 1
wire ReceivesActionrun over under pipe 0.16