Assertion list for term "use multiplexer".

Results from Ascent++: 1
circuit CapableOfuse multiplexer 0.28