Assertion list
tungsten (primary) → UsedFor
Results from Ascent++: 2
tungsten → UsedFor → contact 0.25
tungsten → UsedFor → metal wires 0.25