Assertion list for term "coupled to the shift register".

Results from Ascent++: 1
latch ReceivesActioncoupled to the shift register 0.25