Assertion list for term "return after year".

Results from Ascent++: 1
camper CapableOfreturn after year 0.46