Assertion list for term "pass through the circuit".

Results from Ascent++: 1
signal CapableOfpass through the circuit 0.30