anchor.diff:              R/R conflicts. If there aren't any remaining conflicts, report that the grammar
               is SLR(1) and return. *)
           //
  -        let slr1Table = Slr1.upgrade (grammar, lr0Table')        
  +        let slr1Table = Slr1.upgrade (grammar, lr0Table', productionRuleIds)        
   
           (*  Upgrade the LR(0)/SLR(1) automaton to LALR(1); report the remaining number of
               S/R and R/R conflicts. If there aren't any remaining conflicts, report that the
  
positive.code:             // Augment the grammar.
              Grammar.Augment (grammar, spec.StartingProductions)
  
          (*  Create the LR(0) automaton from the grammar; report the number of states and
              the number of S/R and R/R conflicts. If there are any conflicts, apply the
              precedence table to the constructed parser table to (possibly) resolve some
  
negative.code:         | Choice1Of2 lookaheadSets ->
              //
              let lalr1Table =
                  Lalr1.upgrade (grammar, slr1Table, productionRuleIds, lookaheadSets)
              
              (*  If we reach this point, the grammar is not LALR(1), but we can still create a
                  parser by taking certain actions to resolve any remaining conflicts.
  