Assertion list for term "value order".

Results from Ascent++: 1
conservative CapableOfvalue order 0.32