anchor.diff:      Label: string
       AstElem: ITreeNode }
   
  -type DDNode =
  -| RootNode
  -| InnerNode of NodeInfo
  -
   type DDGraph = {
       Graph: AdjacencyGraph<int, Edge<int>>
  -    NodeIdInfoDict: Dictionary<int, DDNode> }
  +    NodeIdInfoDict: Dictionary<int, NodeInfo> }
   
   module DDGraphFuncs =
       open JetBrains.ReSharper.Psi
  
positive.code:         let finalNodeId, provider = NodeIdProviderFuncs.getId provider varRef
          let varName = varRef.NameIdentifier.Name
          let finalNodeInfo = { Label = "varRef(" + varName + ")"; AstElem = varRef }
          let graphInfo = DDGBuildFuncs.create(finalNodeId, InnerNode(finalNodeInfo))
          let varsSet = Set.ofList [varName]
          let cfgNode = getCorespondingCfgNode varRef |> fun w -> w.Value
          let initState = { 
  
negative.code:         let addNodeAsConnectionNode treeNode label (state: BuildState) =
              let nodeId, provider' = NodeIdProviderFuncs.getId state.Provider treeNode
              let nodeInfo = { Label = label; AstElem = treeNode }
              let graph' = DDGBuildFuncs.addConnectionNodeAndEdge state.GraphInfo nodeId nodeInfo
              { state with GraphInfo = graph'; Provider = provider' }
  
          let setGraphConnectionNode nodeId (state: BuildState) =
  