Assertion list for term "connected to the fifo buffer".

Results from Ascent++: 1
circuit ReceivesActionconnected to the fifo buffer 0.25