Improve "access" concept

[andreaphylum]

The find_accessor method is responsible for determining what qualifies as an "access", and is the main driver of the statistical measurement errors of the reachability model.

On an ongoing basis, we should keep evaluating whether the concept of "access" that we use yields not enough, just right, or too many reachability paths.