Assertion list for term "delay progress".

Results from Ascent++: 1
cut CapableOfdelay progress 0.18