unfinished mutex analysis link removal