Return false \b only if we can guarantee two Varnodes have different values. \param vn1 is the first Varnode \param vn2 is the second Varnode \param depth is the maximum level to recurse \return true if its possible the Varnodes hold the same value
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected