anchor.diff:                  RegularVectorToDfaState =
                       HashMap.add regVec dfaState compilationState.RegularVectorToDfaState;
                   DfaStateToRegularVector =
  -                    Map.add dfaState regVec compilationState.DfaStateToRegularVector;
  +                    TagMap.add dfaState regVec compilationState.DfaStateToRegularVector;
                    }
   
           // Return the new DFA state and the updated compilation state.
  
positive.code:     RegularVectorToDfaState : HashMap<RegularVector, DfaStateId>;
      /// Maps a DFA state to the regular vector it represents.
      // OPTIMIZE : Use the TagMap type from ExtCore.
      DfaStateToRegularVector : Map<DfaStateId, RegularVector>;
  }
  
  /// Functional operators related to the CompilationState record.
  
negative.code:                     Transitions =
                          // Add the unvisited transition targets to the transition graph.
                          (compilationState.Transitions, transitionsFromCurrentDfaState)
                          ||> HashMap.fold (fun transitions derivativeClass target ->
                              LexerDfaGraph.addEdges currentState target derivativeClass transitions); }
  
              // Continue processing recursively.
  