PythonAddDeclarationsPass always infers FieldDeclarations in a method

[KuechA]

When we're in a method (i.e., inside the scope of a RecordDeclaration), the PythonAddDeclarationsPass will always add a FieldDeclaration instead of a local VariableDeclaration, even if we do not see the receiver.

Example:

class SomeClass:
    def method(self, a):
        self.x = a
        b = self.x
        return b

This will generate two FieldDeclarations: one for x and one for b even if IMHO it's more likely that b is a local variable