Define the Varnode as an input formally; it is no longer considered \e free. Its position in the cross-referencing lists will change \param vn is the Varnode to mark \return the modified Varnode, which be a different object than the original
source not stored for this graph (policy: none)
no test coverage detected