Assertion list for term "output the test input signal".

Results from Ascent++: 1
multiplexer CapableOfoutput the test input signal 0.25