Assertion list for term "coupled to first node".

Results from Ascent++: 2
input (aspect of latch) ReceivesActioncoupled to first node 0.25
input (aspect of multiplexer) ReceivesActioncoupled to first node 0.25