anchor.diff:              Set.map
                   (fun rule -> 
                       {
  -                        state = state
  +                        state =  {state with position = rule.FromStateID}
                           symbol = 
                               match rule.Symbol with
                               | DSymbol (s) -> s
  
positive.code:                                                          item.forest @ frst
                                                          ,item.itemName
                                                          ,{
                                                          id    = item.itemName
                                                          trace = []
                                                          value = NodeV 0 
                                                          }
                                                        )
                                                  ]
                                              let d = Set.maxElement res
  
negative.code:                                         else buf)
                                      Set.empty
                                      possibleStates
                              resItems*)
  
                          let resPart2 =
                                  Set.map 
  