Assertion list
signal (primary) → UsedFor
Results from Ascent++: 3
signal → UsedFor → communication 0.39
signal → UsedFor → processing 0.31
signal → UsedFor → transmission 0.30