anchor.diff:                          addContext index label vertex y 
               v
   
  -        let pop (u : Vertex) (i : int) (z : int<nodeMeasure>) extension =
  +        let pop (u : Vertex) (i : int) (z : int<nodeMeasure>) =
               if u <> dummyGSSNode
               then
                   let vertexKey = (u.Level, u.Label)
  
positive.code:                     then
                          let curToken = parser.TokenToNumber tokens.[!currentIndex]
                          let curSymbol = parser.rules.[rule].[position]
                          if (parser.NumIsTerminal curSymbol || parser.NumIsLiteral curSymbol) //может, здесь нужен отдельный иф для проверки на совпадение текущего символа и токена
                          then
                              if curSymbol = curToken 
                              then
  
negative.code:                     | :? TerminalNode as term ->
                          term.Extension 
                      | _ -> failwith "Smth strange, Nastya" 
                      
                  let y = findSppfNode label (getLeftExtension leftExt) (getRightExtension rightExt)
                  ignore <| findSppfPackedNode y label leftExt rightExt currentLeft currentRight
  