The assert counting mechanism