Adding Race Detector