lock type analysis is now working