\brief Hide \e shadow Varnodes related to the given HighVariable by consolidating COPY chains If two Varnodes are copied from the same common ancestor then they will always contain the same value and can be considered \b shadows of the same variable. If the paths from the ancestor to the two Varnodes aren't properly nested, the two Varnodes will still look like distinct variables. This routine
source not stored for this graph (policy: none)
no test coverage detected