Make ordering of increment explicit

Avoid comma separator in __CPROVER_ASYNC_1 because
they don't seem to guarantee synchronous semantics.