\brief Test instances of a the given HighVariable for intersection on a specific block with a cover A list of Varnodes has already been determined to intersect on the block. For an instance that does as well, a final test of copy shadowing is performed with the Varnode list. If there is no shadowing, a merging intersection has been found and \b true is returned. \param a is the given HighVariab
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected