\brief Try to propagate a pointer data-type to known aliases. Given a Varnode which is a likely pointer and an Address that is a known alias of the pointer, attempt to propagate the Varnode's data-type to Varnodes at that address. \param data is the function being analyzed \param vn is the given Varnode \param addr is the aliased address
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected