Assertion list
capacitor (primary) → UsedFor
Results from Ascent++: 2
capacitor → UsedFor → filtering 0.45
capacitor → UsedFor → c2 0.25