Assertion list for term "run in second half".

Results from Ascent++: 1
clock CapableOfrun in second half 0.29