I don’t get it. Transforming basic functions is certainly quite a feat. But how do they deal with monkeypatching? Or runtime creation and introspection of ob

I don’t get it. Transforming basic functions is certainly quite a feat. But how do they deal with monkeypatching? Or runtime creation and introspection of object attributes? Or calling a function where the types of the arguments cannot be determined using static analysis?