Assertion list
anode (primary) → Causes
Results from Ascent++: 1
anode → Causes → short circuit 0.16