Assertion list for term "precede following case".

Results from Ascent++: 1
value (aspect of function) CapableOfprecede following case 0.25