\brief Check that there are no internal Cover intersections within \b this Look for any pair of Varnodes whose covers intersect, but they are not COPY shadows. Throw an exception in this case.
source not stored for this graph (policy: none)
no test coverage detected