anchor.diff:                                      if curSymbol = input.Edges.[oe].Tokens.[0] then
                                           res <- Some oe  
                                   res
  -                            currentIndex := (pack2to32 curEdge.Value 0)
  +                            
                               match curEdge with
                               | Some edge ->
  +                                currentIndex := (pack2to32 curEdge.Value 0)
                                   let curToken = input.Edges.[edge].Tokens.[0]
                                   if !structures.CurrentN = structures.Dummy
                                   then structures.CurrentN := getNodeT !currentIndex
  
positive.code:                         let cE = CommonFuns.getLeft32 !currentIndex
                          let cP = CommonFuns.getRight32 !currentIndex
                          let chainLen = input.ChainLength.[cE]
                          if cP < chainLen
                          then
                              let curToken = input.Edges.[cE].Tokens.[cP]
                              let index = getIndex curSymbol curToken
  
negative.code:             for i = 0 to len - 1 do
                  let oE = outEdges.[input.InitialVertices.[i]]
                  for e in oE do
                      arr.[i] <- packExtension (pack2to32 e 0) (pack2to32 (input.Edges.Length - 1) 1)          
              arr
  
          let slotIsEnd (label : int<labelMeasure>) =
  