Assertion list for term "received on the aux wire".

Results from Ascent++: 1
signal ReceivesActionreceived on the aux wire 0.34