Type inference for atomicity