Assertion list for term "controlled by one signal".

Results from Ascent++: 1
circuit ReceivesActioncontrolled by one signal 0.25