Assertion list for term "coupled to the output of alu".
Results from Ascent++: 1
input (aspect of multiplexer) → ReceivesAction → coupled to the output of alu 0.33