Assertion list for term "correct direction".

Results from Ascent++: 1
voltage (aspect of diode) AtLocationcorrect direction 0.25