Assertion list for term "return current instant ticking".

Results from Ascent++: 1
clock CapableOfreturn current instant ticking 0.27