Assertion list
anomaly (primary) → Causes
Results from Ascent++: 1
anomaly → Causes → negative voltage 0.25