     bool criticalGepInsideSCC = false;     // if this edge is inside scc, then remove this edge and two end nodes     while(!sccEdges.empty())     {         ConstraintEdge* edge = sccEdges.back();         sccEdges.pop_back();         /// only copy and gep edge can be removed         if(SVFUtil::isa<CopyCGEdge>(edge))             removeDirectEdge(edge);         else if (SVFUtil::isa<GepCGEdge>(edge))         {             // If the GEP is critical (i.e. may have a non-zero offset),             // then it brings impact on field-sensitivity.             if (!isZeroOffsettedGepCGEdge(edge))             {                 criticalGepInsideSCC = true;             }             removeDirectEdge(edge);         }         else if(SVFUtil::isa<LoadCGEdge>(edge) || SVFUtil::isa<StoreCGEdge>(edge))             reTarget