Assertion list for term "omit result".

Results from Ascent++: 1
falsification CapableOfomit result 0.49