anchor.diff:              | :? TerminalNode as t ->
                   if t.Name <> -1 
                   then 
  -                    seq { yield (ReducedTree.Term(indToString t.Name, t))}
  +                    seq { yield (ReducedTree.Term((indToString <| (tokenToNumber this.tokens.[t.Name])), t))}
                   else    
                       Seq.empty
               | :? PackedNode as p ->
  
positive.code:                     | Term(name, tnode) ->
                          if tnode.Name <> -1
                          then
                              createNode !num false Terminal ("t " +  name + " " + string(tokenData this.tokens.[tnode.Name]))
                              createEdge currentPair.Num !num false ""
                          else
                              createNode !num false Terminal ("epsilon")
  
negative.code:         out.WriteLine("}")
          out.Close()
  
      member this.ReduceTree (tokenToNumber : 'TokenType -> int) (indToString : int -> string) : ReducedTree =
          let rec cleanTree (st : INode)  =
               
              match st with 
  