anchor.diff:                      for j = 0 to derivedKernels.Length-1 do
                               if curSymbol derivedKernels.[j] = i && not derivedLookaheads.[j].IsEmpty then
                                   let nextKernels = KernelInterpreter.nextPos grammar derivedKernels.[j]
  -                                stackSet <- Set.add (KernelInterpreter.getProd derivedKernels.[j]) stackSet
  +//                                stackSet <- Set.add (KernelInterpreter.getProd derivedKernels.[j]) stackSet
                                   for nextKernel in nextKernels do
                                       if not <| destStates.ContainsKey nextKernel then
                                           destStates.[nextKernel] <- derivedLookaheads.[j]
  
positive.code:         i <- i + 1
      streamWriter.Close()*)
  
  type StatesInterpreterEBNF (stateToVertex : Vertex<int,int * (Set<int> * Set<int>)>[], stateToMainKernels : Kernel[][], stateToMainLookahead : Set<int>[][], stateToDerivedKernels : Kernel[][], stateToDerivedLookahead : Set<int>[][]) =
      member this.count = stateToVertex.Length
      member this.vertex i = stateToVertex.[i]
      member this.mainKernels i = stateToMainKernels.[i]
  
negative.code:             stateToDerivedLookahead.Add derivedLookaheads
              for i = 0 to grammar.indexator.fullCount - 1 do
                  if i <> grammar.indexator.eofIndex then
                      // new kernel with lookaheads
                      let destStates = new Dictionary<int, Set<int>>()
  //                    let mutable dontStackSet = Set.empty
  //                    let mutable stackSet = Set.empty
                      for j = 0 to mainKernels.Length-1 do
                              if curSymbol mainKernels.[j] = i && not mainLookaheads.[j].IsEmpty then
                                  let nextKernels = KernelInterpreter.nextPos grammar mainKernels.[j]
  //                                dontStackSet <- Set.add (KernelInterpreter.getProd mainKernels.[j]) dontStackSet 
                                  for nextKernel in nextKernels do
                                      if not <| destStates.ContainsKey nextKernel then
                                          destStates.[nextKernel] <- mainLookaheads.[j]
  