LocalsDictionary not generated in certain cases

a = locals
def test():
    return a()

assert test() == {}

It looks like there's an optimization to only create a locals dictionary when needed. However the way it determines if it's needed is by looking at the name of the call expression (see IronPython.Compiler.Ast.CallExpression.NeedsLocalsDictionary). NeedsLocalsDictionary returns false in the example above.

Similarly this will also fail for dir, vars, eval and exec...

Start with the reproducer and inspect IronPython.Compiler.Ast.CallExpression.NeedsLocalsDictionary, especially how it identifies calls to locals, dir, vars, eval, and exec. Done means the shown indirect-call cases produce the expected behavior rather than failing because the locals dictionary was not generated.