anchor.diff:                  structures.CurrentLabel := currentContext.Value.Label
                   structures.CurrentN := currentContext.Value.Ast 
                   structures.CurrentR := structures.Dummy
  +                currentPath := currentContext.Value.Path
                   condition := false
               else 
                   stop := true  
  
positive.code:                                 for rule in table.[key] do
                                   
                                      let newLabel = packLabel rule 0
                                      structures.AddContext setU !currentVertexInInput newLabel !currentGSSNode structures.Dummy 
                              else 
                                  for kvp in table do
                                      if int kvp.Key >>> 16 = curSymbol then
                                          for r in kvp.Value do
                                              let newLabel = packLabel r 0
                                              containsError !currentVertexInInput newLabel !currentGSSNode structures.Dummy
                                              ()
                  else
                      let curRight =  sppfNodes.Item (int !structures.CurrentN) 
                      structures.FinalMatching
                          curRight 
                          parser.LeftSide.[parser.StartRule]
  
negative.code:                             condition := false
                          | 
                              None _ -> 
                                  containsError !currentVertexInInput !structures.CurrentLabel !currentGSSNode !structures.CurrentN !currentPath
                                  
                      else 
                          let getIndex nTerm term = 
                              let mutable index = nTerm
  