could be ``{None}.union(self.global_declarations, node.args)``