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:             cond
          
          let create (cE : int) (cP : int) (label : int<labelMeasure>) (vertex : Vertex) curSymbol =   
              let nonTermName = parser.LeftSide.[getRule label]
              let i = packEdgePos cE cP
              let extension = packExtension (getLeftExtension !currentExtension) i 
              let v = new Vertex(i, nonTermName)
              if edges.[nonTermName].[i] <> null
  
negative.code:                 condition := false
              if Array.length parser.rules.[rule] = 0 
              then
                  if Array.exists (fun e -> e = rule) condNonTermRules
                  then
                      r.Add(new ResultStruct((getEdge <| getLeftExtension !currentExtension), (getPosOnEdge <| getLeftExtension !currentExtension), (getEdge <| getRightExtension !currentExtension), (getPosOnEdge <| getRightExtension !currentExtension), parser.NumToString <| parser.LeftSide.[rule]))
                      |> ignore
                  pop !currentGSSNode !currentIndex !currentExtension
              else
                  setR.Count
                  if Array.length parser.rules.[rule] <> position
  