Properties of a given storage location are gathered from symbol information and applied to the given Varnode. \param vn is the given Varnode
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected