Assertion list for term "coupled to the error logic circuit".

Results from Ascent++: 1
output ReceivesActioncoupled to the error logic circuit 0.30