anchor.diff:  ﻿module Utils
   
   module DotUtils =
  -    open System.IO
       open JetBrains.ReSharper.Psi.ControlFlow.CSharp
       open JetBrains.ReSharper.Psi.ControlFlow
       open JetBrains.ReSharper.Psi.CSharp.Tree
       open JetBrains.ReSharper.Psi.Tree
       open JetBrains.ReSharper.Psi
  +
  +    open System.IO
  +    open System.Collections.Generic
   
       let private toDot (cfg: ICSharpControlFlowGraf) (outStream: StreamWriter) =
           let getNodeInfo (node: IControlFlowElement) =
  
positive.code:                         |> List.ofSeq 
                          |> List.map (fun rib -> if rib <> null then rib.Target else null)
                      )
                  bfs updatedElems
              | [] -> ()
          bfs [cfg.EntryElement]
  
      // Converts passed cfg "cfg" to DOT's digraph with name "name" 
      // and stores it in the file specified by "outPath"
  
negative.code:                 )
              |> List.iter (fun edge -> outStream.WriteLine(edge))
  
          let rec bfs (elems: list<IControlFlowElement>) (visited: HashSet<IControlFlowElement>)=
              match elems with
              | null :: tl ->
                  outStream.WriteLine ("null_node")
                  bfs tl visited
              | hd :: tl when visited.Contains hd ->
                  bfs tl visited
              | hd :: tl -> 
                  printGraphNode hd
                  let updatedElems =
  