In order to avoid dead locks you need to be aware of the language semantics, which you are not if you automatically transform the interpreter.

What I mean is that even without knowing that, you can still do it in an automatic way.

E.g., like this: https://github.com/albertz/automatic_object_locking/blob/mas...

You are assuming that all the objects that will be accessed are known up front, before any one of them is accessed. Is that what happens in Python?