Assertion list for term "provided to multiplexer".
Results from Ascent++: 2
signal → ReceivesAction → provided to multiplexer 0.38
output → ReceivesAction → provided to multiplexer 0.35