Assertion list for term "change the counter".

Results from Ascent++: 1
thread CapableOfchange the counter 0.25