Making access to atomic counter in assert sequentially consistent