anchor.diff:                  // If any of the NFA states in this DFA state are final (accepting) states,
                   // then this DFA state is also an accepting state.
                   if Set.isEmpty nfaFinalStateSet then
  -                    finalStates
  +                    finalStates, regexOverlapInfo
                   else
                       /// The (indices of the) Regexes accepted by this DFA state.
                       let finalStateInputRegexes =
  
positive.code:     // Return the compiled DFA, discarding any additional data in the result.
      compilationResult.Dfa
  
  
  (* TODO :   Implement an 'ofNfaWithLog' function which is similar to 'ofNfa'
              but takes an additional parameter (e.g., a TextWriter) which it
              will use to log additional compilation information before returning
              the compiled DFA. *)
  
  
  /// Minimizes a Dfa.
  let minimize (dfa : Dfa<'Symbol>) : Dfa<'Symbol> =
      raise <| System.NotImplementedException "Dfa.minimize"
  
  //
  let tokenize (dfa : Dfa<'Symbol>) (symbols : seq<'Symbol>) : seq<'Symbol[]> =
  
negative.code:             // Continue processing recursively.
              compileRec pending nfa compilationState
  
      /// Information about overlapping Regexes discovered during DFA compilation.
      type internal RegexOverlapInfo = {
          /// The (index of the) Regex which will be
          /// accepted by the compiled DFA.
          Accepted : int<RegexIndex>;
          /// The (indices of the) overlapped Regexes.
          /// These will NOT be accepted by the compiled DFA.
          Overlapped : Set<int<RegexIndex>>;
      }
  
      /// The compiled DFA, plus additional compilation data which may
      /// be useful for diagnostics purposes.
      type internal DfaCompilationResult<'Symbol when 'Symbol : comparison> = {
          /// The compiled DFA.
          Dfa : Dfa<'Symbol>;
          /// Maps sets of NFA states to the DFA state representing the set.
          NfaStateSetToDfaState : Map<Set<NfaStateId>, DfaStateId>;
          /// Maps a DFA state to the set of NFA states it represents.
          DfaStateToNfaStateSet : Map<DfaStateId, Set<NfaStateId>>;
          /// Information about overlapping Regexes discovered during DFA compilation.
          RegexOverlapInfo : RegexOverlapInfo list;
      }
  
      //
  