fix dimension mutex analysis