\brief Try to determine if \b vn1 and \b vn2 contain the same value Return: - -1, if they do \b not, or if it can't be immediately verified - 0, if they \b do hold the same value - >0, if the result is contingent on additional varnode pairs having the same value In the last case, the varnode pairs are returned as (res1[i],res2[i]), where the return value is the number of pairs. \param vn1 is
source not stored for this graph (policy: none)
no test coverage detected