Assertion list for term "connected through bus wires".
Results from Ascent++: 1
port → ReceivesAction → connected through bus wires 0.27