anchor.diff:                                                           item.forest @ frst
                                                           ,item.itemName
                                                           ,{
  -                                                        id    = item.itemName
  -                                                        trace = []
  -                                                        value = NodeV 0 
  -                                                        }
  +                                                            id    = item.itemName
  +                                                            trace = []
  +                                                            value = NodeV 0 
  +                                                         }
                                                         )
                                                   ]
                                               let d = Set.maxElement res
  
positive.code:                                         }
                                          )]
                              let climbRes = 
                                  let fl = Set.filter (isFinaleState >> not) parserState.statesSet
                                  (climb()) 
                                      tables 
                                          {
  
negative.code:             memoize
                  (fun tables parserState ->
  #if DEBUG
                      printfn "\n Climb \n  parserState=%A\n gotoset: \n state = %A \n symbol = %A \n" 
                              parserState parserState.statesSet parserState.inpSymbol
  #endif
                      let gotoSet = goto tables parserState.statesSet parserState.inpSymbol
  #if DEBUG
                      printfn "\n goto result = %A \n" gotoSet
  #endif
                      if gotoSet.IsEmpty
                      then
  