anchor.diff:                  | _ -> ()
           out.WriteLine("}")
           out.Close()
  -        
  -
  -                
  -            
  +      
   
       member this.ExtractFinalPaths =
           let nodeQueue = new Queue<NumNode<_>>()
  
positive.code:             let shape =
                  match nodeType with
                  | Terminal -> ",shape=box"
                  | NonTerminal -> ",shape=oval"
              let color = ""
              out.WriteLine ("    " + num.ToString() + " [label=\"" + label + "\"" + color + shape + "]")
  
  
negative.code:                 let child = cleanTree n.First
                  seq{yield ReducedTree.NonTerm(indToString n.Name, n, Seq.toArray child )}
              | _ -> failwith "Unexpected node type."
          Seq.head <| (cleanTree root)
  
      member this.ReducedTreeToDot (tree : ReducedTree)  (tokenData : 'TokenType -> obj) (path : string) =
          use out = new System.IO.StreamWriter (path : string)
          out.WriteLine("digraph AST {")
  
  