Assertion list for term "improve in cost".

Results from Ascent++: 1
led CapableOfimprove in cost 0.16