Assertion list for term "larger than ref_voltage".

Results from Ascent++: 2
value (aspect of parameter) HasPropertylarger than ref_voltage 0.28
value (aspect of function) HasPropertylarger than ref_voltage 0.27