Make a local determination if \b this and \b op2 hold the same value. We check if there is a common ancester for which both \b this and \b op2 are created from a direct sequence of COPY operations. NOTE: This is a transitive relationship \param op2 is the Varnode to compare to \b this \return \b true if the Varnodes are copied from a common ancestor
source not stored for this graph (policy: none)
no test coverage detected