Assertion list for term "failed open".

Results from Ascent++: 1
diode HasPropertyfailed open 0.16