anchor.diff:  
               //
               let transitionsFromCurrentDfaState =
  -                Map.add derivativeClass targetDfaState transitionsFromCurrentDfaState
  +                HashMap.add derivativeClass targetDfaState transitionsFromCurrentDfaState
   
               transitionsFromCurrentDfaState,
               unvisitedTransitionTargets,
  
positive.code: 
      //
      let inline getRegularVector dfaState (compilationState : CompilationState) =
          Map.find dfaState compilationState.DfaStateToRegularVector
  
      //
      let createDfaState regVec (compilationState : CompilationState) =
  
negative.code:         Transitions = LexerDfaGraph.empty;
          FinalStates = Set.empty;
          RegularVectorToDfaState = HashMap.empty;
          DfaStateToRegularVector = TagMap.empty; }
  
      //
      let inline tryGetDfaState regVec (compilationState : CompilationState) =
  