Assertion list for term "be an error code".

Results from Ascent++: 1
value (aspect of function) CapableOfbe an error code 0.16