Assertion list for term "configured to receive second control signal".

Results from Ascent++: 1
circuit ReceivesActionconfigured to receive second control signal 0.26