anchor.diff:      /// Returns an empty Lr0TableGenState with the given
       /// nonterminal and terminal types.
       let empty : LrTableGenState<'Nonterminal, 'Terminal, 'Lookahead> = {
  -        Table = Map.empty;
  +        ActionTable = Map.empty;
  +        GotoTable = Map.empty;
           ParserStates = Map.empty;
           ReductionRules = Map.empty;
           ReductionRulesById = Map.empty; }
  
positive.code:             // Update the table with the new entry.
              (),
              { tableGenState with
                  Table = Map.add tableKey entry tableGenState.Table; }
  
  
      //
  
negative.code: //
  [<RequireQualifiedAccess>]
  module internal FreePositions =
      //
      let private dominators (pspg : ParserStatePositionGraph<'Nonterminal, 'Terminal, 'Lookahead>)
          : Set<LrItem<'Nonterminal, 'Terminal, 'Lookahead>> =
          // TODO
          raise <| System.NotImplementedException "FreePositions.dominators"
  
      /// Computes the Parser State Position Graph of an LR(0) parser state.
      let private positionGraph (productions : Map<'Nonterminal, Symbol<'Nonterminal, 'Terminal>[][]>) (parserState : Lr0ParserState<'Nonterminal, 'Terminal>)
          : ParserStatePositionGraph<_,_,_> =
  