anchor.diff:                                                              let trace = 
                                                                   getTrace itm.state parserState.inpSymbol.name itm.state.position res.rItem.position
                                                                   @ res.rItem.sTrace                                                             
  -                                                            {stt with forest = [stt.forest @ res.rItem.forest |> node trace]
  +                                                            {stt with forest = 
  +                                                                        (*printfn "\n FOREST = \n"
  +                                                                        List.iter PrintTree [stt.forest @ res.rItem.forest |> node trace]
  +                                                                        printfn " \n"*)
  +                                                                        [stt.forest @ res.rItem.forest |> node trace]
  +                                                                        
                                                                         sTrace = trace})
                                                           parserState.statesSet
                                           }
                                           |> 
  -                                            (*fun ps ->
  -                                                if false//ps.inpSymbol.name = "s"
  +                                            fun ps ->
  +                                                if itm.state.itemName = "e"
                                                   then buildRes ps.statesSet
  -                                                else *)(climb()) tables //ps
  +                                                else (climb()) tables  ps
                                           |> Set.union  buf)
                                   )
                                   Set.empty
  
positive.code:                     |> Set.map buildResult
                 
                  let resPart2 =                                                                               
                      let nextLexeme =  parserState.lexer.Get(parserState.i)                        
                      if 
                          nextLexeme.name = "EOF"
                      then 
                          Set.empty
                      else
  
negative.code:         let res = 
              (parse()) tables
                  {
                      statesSet = Set.singleton {itemName = "e"; position = (getDFA tables "e").DStartState; forest=[]; sTrace = []}
                      inpSymbol = {name = "";value =""}                                    
                      i         = 1
                      lexer     = lexer
  