anchor.diff:          Error ("This grammar does not accept empty input.")     
       else
           let epsilon = new Nodes()
  -        let setR = new Queue<Context>();   
  -        let setP = new ResizeArray<PoppedPair>();    
  -       // let setP = new System.Collections.Generic.Dictionary<Vertex,ResizeArray<obj>> (new VComparer())
  +        let setR = new Queue<Context>()   
  +        let setP = new System.Collections.Generic.Dictionary<Vertex,ResizeArray<obj>> (new VComparer())
  +        let astDictionary = new System.Collections.Generic.Dictionary<uint64,obj> ()
           let setU = Array.init (inputLength + 1) (fun _ -> new ResizeArray<PreviousContexts>())  //temp проверять не был ли уже такой добавлен
               
           let currentIndex = ref 0
   
           let currentrule = parser.Startrule
           let dummy = box <| null
  -        let dummyGSSNode = new Vertex(!currentIndex, (packToInt64 -1 -1))
  -        let currentLabel = ref <| packToInt64 currentrule 0
  +        let dummyGSSNode = new Vertex(!currentIndex, (pack2ToInt64 -1 -1))
  +        let currentLabel = ref <| pack2ToInt64 currentrule 0
           
           let currentN = ref <| null
           let currentR = ref <| null
  
positive.code:                     | :? IntermidiateNode as i -> i.Extension
                      | _ -> failwith "Unexpected type."
  
                  result <- new IntermidiateNode(left, right, label, packToInt64 (getHighBits lExt) (getLowBits rExt))
              else 
                  result <- new IntermidiateNode(left, right, label, packToInt64 (getHighBits rExt) (getLowBits rExt))
              box <| result
                  
              
  
negative.code:                     getLowBits n.extension
                  | :? AST as a -> getLowBits a.extension 
                  | _ -> failwith "Unexpected type."
              let extension = pack2ToInt64 l r
              let nodes = new Nodes(result, extension)
              let family = findFamily prod nodes extension
              family, extension
  