If one of the HighVariables is already in a group, the other HighVariable is added to this group. \param off is the relative byte offset of \b this with the other HighVariable \param hi2 is the other HighVariable
source not stored for this graph (policy: none)
no test coverage detected