anchor.diff:                      let newIndex = packEdgePos outEdge 0
                       pushContext newIndex nextState !currentGSSNode newLength)
               else//reached end of input.
  -                // put dummyIndex in stack
  +                //put dummyIndex in stack
                   let dummyIndex = packEdgePos dummyEdge curEdge
                   pushContext dummyIndex nextState !currentGSSNode newLength
   
  
positive.code:                 
          let cond, nextState = parser.StateAndTokenToNewState.TryGetValue dictionaryKey
          if cond
          then
              eatTerm nextState curEdge curPos
  
          for curNonterm, nextState in outEdges do
              if curNonterm = anyNonterm
  
negative.code:         |> Array.rev
          |> Array.Parallel.map(fun e -> 
              let pos = e * 1<positionInInput>
              let vertex = new GSSVertex(!currentState, pos)
              gss.AddVertex vertex |> ignore
              new ContextFSA<_>(pos, !currentState, vertex, !currentLength))
  
      /// Stack of contexts
      let setR = new System.Collections.Generic.Stack<ContextFSA<_>>(startContexts)  
                   
  