Python incorrectly resolves fields in unqualified lookup

[oxisto]

Currently our python frontend (and probably others?) resolve fields when doing an unqualified lookup, i.e., just looking for symbol (but not self.symbol). But that is not allowed in Python (as well as in Go actually) and this leads to horrendous wrong results.

Consider the following snippet:

a = "Hello"

class MyClass:
    def foo(self):
        self.a = 1
        print(a)

The a in the print statement should resolve to the global a. Instead it currently resolves to the field declaration of a, which is only accessible through self.a.

This also applies to imports as well

import os

class MyClass:
    def bar(self):
        self.os = 1
        print(os.name)

Here, os is also wrongfully resolved to MyClass.os.

This might be a bigger issue and effecting all language frontends that require some sort of "qualified" lookup.