It's undecidable whether there even is an import of stuff. It's every non-trivial property that's undecidable. So the question whether a certain line is reache

It's undecidable whether there even is an import of stuff. It's every non-trivial property that's undecidable. So the question whether a certain line is reached is as undecidable as the question what values can arguments have at that line. So it's undecidable whether a dynamic import statement is reached and what its import argument will be. And even if the value is static, then it's undecidable whether the content of the imported module has been just changed.