Given two conditional blocks, determine if the corresponding conditional expressions are equivalent, up to Varnodes that need to be merged. Any Varnode pairs that need to be merged are put in the \b mergeneed map. \return \b true if there are matching conditions
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected