Add support for named list arguments (field-sensitive pointer analysis)

[Slartibartfass2]

Is your feature request related to a problem? Please describe.

Currently, when named list arguments are accessed using $, there's only an edge to the whole list object, not to the single element itself.

e.g.

person <- list(name="John", age=24)
person$name

Describe the solution you would like

Add reads dependencies to the element that is accessed.

Additional context