Assert counter

Compare the value of a counter with another integer value.