anchor.diff:          LexerDfaGraph (Some newAdjMap, this.EofTransitionEdge, this.VertexCount)
   
       //
  -    member this.AddEofEdge (source : DfaStateId, target : DfaStateId) =
  +    member this.AddEofEdge (source : DfaStateId) (target : DfaStateId) =
           // Preconditions
           if int source < 0 || int source >= this.VertexCount then
               invalidArg "source" "The vertex is not in the graph's vertex-set."
  
positive.code:             vertexCount + 1)
  
      //
      member this.TryGetEdgeSet (source : DfaStateId, target : DfaStateId) =
          // Preconditions
          if int source < 0 || int source >= this.VertexCount then
              invalidArg "source" "The vertex is not in the graph's vertex-set."
  
negative.code:             this.InternalAdjacencyMap,
              Some (source, target),
              this.VertexCount)
  