Assertion list for term "generated at an output of mux".

Results from Ascent++: 1
multiplexer ReceivesActiongenerated at an output of mux 0.25