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: 
          let create label (u : int64<vertex>) (index : int) (ast : ExtensionTree) = 
              let v = containsGSSNode label index
              if not (containsEdge v u ast.tree)
              then
                  let newEdge = new Edge(u, ast)
                 // edges.[gss.[getIndex2Vertex v].[getIndex1Vertex v].Level,gss.[getIndex2Vertex u].[getIndex1Vertex u].Level].Add(newEdge)
  
negative.code:         let setR = new Queue<Context>()   
          let setP = new System.Collections.Generic.Dictionary<int64<vertex>,ResizeArray<ExtensionTree>> ()
          let astDictionary = new System.Collections.Generic.Dictionary<int64<key>,AST> ()
          let setU = Array.init (inputLength + 1) (fun _ -> new Dictionary<_*_, ResizeArray<INode>>())
              
          let currentIndex = ref 0
  
  