Symbol information (if present) is copied from the given constant Varnode into \b this, which also must be constant, but only if the two constants are \e close in the sense of an equate. \param vn is the given constant Varnode
source not stored for this graph (policy: none)
no test coverage detected