\brief Determine if two Varnodes hold the same value Only return \b true if it can be immediately determined they are equivalent \param vn1 is the first Varnode \param vn2 is the second Varnode \return true if they are provably equal
source not stored for this graph (policy: none)
no test coverage detected