Assertion list
queue (primary) → UsedFor
Results from Ascent++: 2
queue → UsedFor → communication 0.25
queue → UsedFor → storage of fast packets 0.25