Assertion list for term "tick down final seconds".

Results from Ascent++: 1
clock CapableOftick down final seconds 0.25