Marking a Varnode as \e implied causes the input Varnodes to its defining op to propagate farther in the output. This may cause eventual variables to hold different values at the same point in the code. Any input must test that its propagated Cover doesn't intersect its current Cover. \param data is the function being analyzed \param vn is the given Varnode \return \b true if there is a Cover vio
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected