Diagnostics mistakes on not-defaulted variables

[Gouvernathor]

The "store.o", here, shouldn't be flagged as a store variable access. In an import statement, when there's a as, the first name has nothing to do with a variable name, so it arguably shouldn't be checked.

Besides that, which is not a very serious issue, there is the fact that the diag wanted to tell me about the ".o" in "store.o", and it ended up underlining the "o" in "store". That looks like a more easy issue.