Assertion list
solder (primary) → Causes
Results from Ascent++: 1
solder → Causes → short circuits 0.23