Assertion list for term "work time".

Results from Ascent++: 1
clock CapableOfwork time 0.31