Assertion list for term "designated for faster traffic".

Results from Ascent++: 1
lane ReceivesActiondesignated for faster traffic 0.25