anchor.diff:              | Some res -> 
                       drawDot parser tokens "gss.dot" gss
                       let r1 = new Tree<_> (tokens, res, parser.rules)
  +                    r1.AstToDot parser.NumToString parser.TokenToNumber  parser.LeftSide "ast1111111.dot"
                       Success (r1)   
                           
positive.code:                 packVertex i (curLevel.Count - 1)
              else packVertex i index
  
          let containsEdge (b : int64<vertex>) (e : int64<vertex>) (ast : INode) =
              let edges = gss.[getIndex2Vertex b].[getIndex1Vertex b].OutEdges
              edges.first <> Unchecked.defaultof<_> && (edges.first.Dest = e || (edges.other <> null && edges.other |> Array.exists (fun edge ->  edge.Dest = e)))
  
  
negative.code: 
          let create label (u : int64<vertex>) (index : int) (ast : ExtensionTree) = 
              let v = containsGSSNode label index
              if not (containsEdge v u)
              then
                  let newEdge = new Edge(u, ast)
                 // edges.[gss.[getIndex2Vertex v].[getIndex1Vertex v].Level,gss.[getIndex2Vertex u].[getIndex1Vertex u].Level].Add(newEdge)
  