anchor.diff:          member lexbuf.BufferLocalStore = (context :> IDictionary<_,_>)
           member lexbuf.LexemeLength with get() : int = lexemeLength and set v = lexemeLength <- v
           member x.CountPosLine = count_pos_line
  -        member x. PreviousV =  prevV
           member x.States = states
           member x.Edges = edgesSeq
           member x.LastVId = sorted.[sorted.Length-1]
  
positive.code:         /// action related to the last accepting state
          let mutable bufferAcceptAction=0;
          let mutable eof = false
          let mutable prevV = 0
          let mutable startPos = Position.Empty
          let mutable endPos = Position.Empty
          let count_pos_line = ref 0
          let g = new LexerInnerGraph<'br>(inGraph)   
          let sorted = g.TopologicalSort() |> Array.ofSeq
          let states = Array.init ((Array.max sorted)+1) (fun _ -> new ResizeArray<_>())
          let startState = new State<_,'br>(0,-1, ResizeArray.singleton (new StateInfo<_,'br>(0, 0, new ResizeArray<_>(), new ResizeArray<_>())))
          do states.[g.StartVertex] <- ResizeArray.singleton startState
          let edgesSeq = seq{ for v in sorted do
                                  yield g.OutEdges v |> Array.ofSeq
  
negative.code:                             let pos = 
                                  if i.Positions.Count = 0 then None else Some i.Positions.[0] 
                                  |> newPos
                              new StateInfo<_,'br>((match stt.PreviousV with | Some x -> x | None -> i.StartV)
                              , ResizeArray.concat [i.AccumulatedString; ResizeArray.singleton ch]
                              , ResizeArray.concat [ResizeArray.singleton pos; i.Positions])
                      )
              else 
                  new StateInfo<_,'br>((match stt.PreviousV with | Some x -> x | None -> edg.Source), ResizeArray.singleton ch, ResizeArray.singleton (newPos None))
                  |> ResizeArray.singleton
  
          let processToken onAccept (p: StateInfo<_,_>) =
  