Assertion list for term "last for worst-case".

Results from Ascent++: 1
investigation CapableOflast for worst-case 0.28