anchor.diff:  
   /// Creates an LALR state table.
   let createLALRStates fGetAllProductions (firstSets: FirstSets) fResolveConflict conflicts startSymbol itemSets (lookaheadTables: LookaheadItemsTable) =
  -    RA itemSets
  +    IA itemSets
       RA conflicts
   
       let emptyLookahead = LookaheadSet(firstSets.AllTerminals.Length)
       emptyLookahead.Freeze()
  -    let states = ImmutableArray.CreateBuilder itemSets.Count
  +    let states = ImmutableArray.CreateBuilder itemSets.Length
       for itemSet in itemSets do
           let index = uint32 itemSet.Index
           // The book says we have to close the kernel under LR(1) to create the
  
positive.code:     |> getOrQueueItemSet
      |> ignore
  
      while itemSetsToProcess.Count <> 0 do
          let itemSet = itemSetsToProcess.Dequeue()
          let q = Queue itemSet.Kernel
          // We could use a table of visited nonterminals, but it might cause
          // problems when many productions of the kernel have the same head.
          // Forget what you saw before! We must keep a table of visited items.
          // It created problems when the same production appeared in the closure,
          // but with different dot position. See the calculator's state #10 (#2 in GOLD Parser).
          let visitedItems = HashSet()
          while q.Count <> 0 do
              let item = q.Dequeue()
              if visitedItems.Add item then
                  if not item.IsAtEnd then
                      match item.CurrentSymbol with
                      | LALRSymbol.Terminal _ -> ()
                      | LALRSymbol.Nonterminal nont ->
                          for prod in fGetAllProductions nont do
                              prod |> LR0Item.Create |> q.Enqueue
          let goto =
              visitedItems
              |> Seq.filter (fun x -> not x.IsAtEnd)
  
negative.code:             |> ImmutableDictionary.CreateRange
          itemSets.[itemSet.Index] <- {itemSet with Goto = goto}
  
      itemSets.ToImmutable()
  
  /// Computes the FIRST set of the `Nonterminal`s
  /// of the given sequence of `Production`s.
  