Assertion list for term "specified by first circuit design".

Results from Ascent++: 1
circuit ReceivesActionspecified by first circuit design 0.25