Print store in a more compact way
Introduce a *real* race condition in race-set-cas
Small refactoring
Fix graph's node id assignment
Fix node ids in CESK too