anchor.diff:          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 (InnerNode(nodeInfo))
  +            let graph' = DDGBuildFuncs.addConnectionNodeAndEdge state.GraphInfo nodeId nodeInfo
               { state with GraphInfo = graph'; Provider = provider' }
   
           let setGraphConnectionNode nodeId (state: BuildState) =
  
positive.code: 
      type private DDGraphBuildInfo = {   
          Graph: AdjacencyGraph<int, Edge<int>>
          NodeIdInfoDict: Dictionary<int, DDNode>
          ConnectionNode: int
          FinalNodeId: int
          MarkedNodes: list<int>
          RootId: option<int> }
  
      module private DDGBuildFuncs =
          // exception messages
  
negative.code:         |> List.map 
              (
                  fun kvp ->
                      let text = kvp.Value.Label
                      kvp.Key.ToString() + " [label=\"" + text + "\"]"
              )
          |> List.iter file.WriteLine
  