anchor.diff:                  currentGSSNode := currentContext.Value.Vertex
                   currentLabel := currentContext.Value.Label
                   currentExtension := currentContext.Value.Extension
  +                let ttt = getPosOnEdge <| getLeftExtension !currentExtension
  +                let aa = getPosOnEdge <| getRightExtension !currentExtension
                   condition := false
               else 
                   stop := true  
  
positive.code:         let vertices = new CompressedArray<ResizeArray<_>>(input.ChainLength, (fun _ -> null),shift)
          let currentGSSNode = ref <| dummyGSSNode
       
          for e in input.InitialVertices do
              let t = getEdge e
              let tt = getPosOnEdge e 
              let ext = packExtension e e
              setR.Push(new Context2(e, !currentLabel, !currentGSSNode, ext))
  
          let currentContext = ref <| new Context2(!currentIndex, !currentLabel, !currentGSSNode, !currentExtension)
  
negative.code:                         let arr = setP.[vertexKey]  
                          arr.DoForAll (fun ext  ->
                              let e = packExtension (getLeftExtension extension) (getRightExtension ext)
                              let iiii = packEdgePos (getEdge (getRightExtension ext)) ((getPosOnEdge <| getRightExtension ext) - shift)
                              addContext iiii label vertex e)
              else
                  ignore <| containsEdge v vertex (int label) extension
                  let chainLen = input.ChainLength.[cE]
  