Add some analysis from trying multithreaded analysis on mutability detector.