Assertion list for term "time state".

Results from Ascent++: 1
execution CapableOftime state 0.25