Expect the compiler should import whatever module you are using and analyze that module's code just like in any compiled language. Even in the example you gave

Expect the compiler should import whatever module you are using and analyze that module's code just like in any compiled language. Even in the example you gave it could replace the loop with a bunch of print calls since the result (yields) do nothing. Compilers are hard.