This analysis is executed ahead of any code is produced, so you can get situations like this where by a subsequent line of code can cause an before line to become an mistake. One example is, assignment expressions utilizing the := syntax allow variables for being assigned within if statements, https://alexismqoug.ampblogs.com/the-smart-trick-of-python-assignment-taking-service-that-nobody-is-discussing-63535300