Dmitriy V'jukov's Relacy Race Detector for verifying synchronization algorithm