Import user-defined module

Import user-defined module.

I agree. I say it is "dynamic" because there is aliasing. It just happens that *in this case* a powerful static analysis (aliasing) can statically decide. Now what are you suggesting ? I can just include any function referenced and not only called, would it do the trick?