anchor.diff:                              // If this is a new state, add it to the list of states which need to be visited.
                               let workSet =
                                   if isNewState then
  -                                    Set.add targetStateId workSet
  +                                    TagSet.add targetStateId workSet
                                   else workSet
   
                               // The next symbol to be parsed is a terminal (token),
  
positive.code:     // TODO : Rewrite this function to use the State workflow to handle the workSet and tableGenState arguments.
      let rec private createTableImpl (grammar : AugmentedGrammar<'Nonterminal, 'Terminal>) workSet (tableGenState : Lr0TableGenState<_,_>) =
          // If the work-set is empty, we're done creating the table.
          if Set.isEmpty workSet then
              tableGenState
          else
              ((Set.empty, tableGenState), workSet)
              ||> Set.fold (fun workSet_tableGenState stateId ->
                  /// The set of parser items for this state.
                  let stateItems = TagBimap.find stateId (snd tableGenState).ParserStates
  
  
negative.code:                             // If this is a new state, add it to the list of states which need to be visited.
                              let workSet =
                                  if isNewState then
                                      TagSet.add targetStateId workSet
                                  else workSet
  
                              // The next symbol to be parsed is a nonterminal,
  