Assertion list for term "generated by the circuit".

Results from Ascent++: 1
signal ReceivesActiongenerated by the circuit 0.38