Static analysis of Python import statements