Assertion list for term "run for 10,000 years".

Results from Ascent++: 1
clock CapableOfrun for 10,000 years 0.34