For the purpose of inferring readonly/writeonly/readnone on arguments, we only care about provenance captures, not address captures.
For the purpose of inferring readonly/writeonly/readnone on arguments, we only care about provenance captures, not address captures.