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