Cancel mut-ex analysis
Mutex automatic name