Assertion list
anomaly (primary) → Causes

Results from Ascent++: 1
anomalyCauses negative voltage 0.25