Assertion list for term "last for whole project".

Results from Ascent++: 1
size CapableOflast for whole project 0.26