anchor.diff:                  res                     
   
       let print ps =
  -        printfn "ParseState: \n     i = %A \n      symbol = %A \n     statesSet ="     ps.i   ps.inpSymbol 
  -        Set.map 
  -            (fun s -> List.map PrintTree s.forest)
  +        printfn "ParseState:\n"
  +        printfn "     i = %A\n" ps.i
  +        printfn "     symbol = %A\n" ps.inpSymbol
  +        printfn "     statesSet = [\n" 
  +        Set.iter 
  +            (fun s -> 
  +                printfn "         State:\n"
  +                printfn "             item = %A\n" s.itemName 
  +                printfn "             position = %A\n" s.position
  +                printfn "             forest = <<\n"
  +                List.iter PrintTree s.forest
  +                printfn "\n             >>\n")
               ps.statesSet
  +        printfn "     ]\n" 
   
       let rec climb() = 
           memoize
               (fun tables parserState ->
   #if DEBUG
  -                printfn "\n Climb \n  parserState=%A\n" (print parserState)
  +                printfn "\n Climb \n" 
  +                print parserState
   #endif
                   let gotoSet = goto tables parserState.statesSet parserState.inpSymbol
   #if DEBUG
  
positive.code:         memoize
              (fun tables parserState ->
  #if DEBUG
                  printfn "\n Parse \n  parserState=%A" (print parserState)
  #endif                        
                  let isFinaleState state= 
                      let dfa = tables.automataDict.[state.itemName]
  
negative.code:                                             value = NodeV 1
                                          }
                                      let node f = (f , itm.state.itemName, _val ) |> Node
                                      if itm.state.position > 0
                                      then                                        
                                          Set.add
                                              {
                                                  rItem  = {itm.state with forest = (parserState.statesSet.MinimumElement.forest 
                                                                                      @ res.rItem.forest)}
                                                  rI     = res.rI
                                                  rLexer = parserState.lexer
                                              }
                                              buf
  