Test if the two HighVariables should be pieces of the same symbol. \param op2 is the other HighVariable to compare with \b this \return \b true if they share the same underlying VariableGroup
source not stored for this graph (policy: none)
no test coverage detected