If a Symbol is already attached, no change is made. Otherwise a special \e dynamic Symbol is created that is associated with the Varnode via a hash of its local data-flow (rather than its storage address). \param vn is the given Varnode
source not stored for this graph (policy: none)
no test coverage detected