Assertion list for term "reset the counter".

Results from Ascent++: 3
output CapableOfreset the counter 0.29
microprocessor CapableOfreset the counter 0.25
pulse CapableOfreset the counter 0.25