Assertion list
pad (primary) → UsedFor
Results from Ascent++: 2
pad → UsedFor → polishing 0.34
pad → UsedFor → signal input 0.28