anchor.diff:                  Set.add item items)
               |> Lr1Item.closure grammar analysis
   
  -//        // The initial table-gen state.
  -//        let initialParserStateId, initialTableGenState =
  -//            Lr0TableGenState.stateId initialParserState Lr0TableGenState.empty
  -//
  -//        // Create the parser table.
  -//        createTableImpl grammar analysis initialTableGenState
  -
  -        raise <| System.NotImplementedException "Tables.Lr1.createTable"
  -        ()
  -
  +        // The initial table-gen state.
  +        let initialParserStateId, initialTableGenState =
  +            Lr1TableGenState.stateId initialParserState Lr1TableGenState.empty
  +
  +        // Create the parser table.
  +        createTableImpl grammar analysis initialTableGenState
  +
  +
  
positive.code:         when 'NonterminalId : comparison
          and 'Token : comparison> = Set<Lr1Item<'NonterminalId, 'Token>>
  
  //
  [<RequireQualifiedAccess>]
  module Lr1 =
      //
      let createTable (grammar : Grammar<'NonterminalId, 'Token>) =
          // Augment the grammar with the start production and end-of-file token.
  
negative.code:         let analysis = GrammarAnalysis.ofGrammar grammar
  
          /// The initial state (set of items) passed to 'createTable'.
          let initialParserState : Lr1ParserState<_,_> =
              let startProductions = Map.find Start grammar.Productions
              (Set.empty, startProductions)
              ||> Set.fold (fun items production ->
  