anchor.diff:              then
                   visited.[topV] <- true
                   for v in graphFst.OutEdges(topV) do
  -                    if (isAct v.Target)
  -                    then 
  -                        new TokenEdge<_>(v.Target, v.Source, match v.Tag.InSymb with |Smbl y -> y | _ -> failwith "Unexpected!!!" ) |> edgesToks.Add |> ignore
  -                        if (isEps v.Target) then queueV.Enqueue(v.Target)
  -                    else 
  -                        new TokenEdge<_>(v.Target, v.Source, match v.Tag.InSymb with |Smbl y -> y | _ -> failwith "Unexpected!!!" ) |> edgesToks.Add |> ignore
  -                        queueV.Enqueue(v.Target)  
  +                    new TokenEdge<_>(v.Target, v.Source, match v.Tag.InSymb with |Smbl y -> y | _ -> failwith "Unexpected!!!" ) |> edgesToks.Add |> ignore
  +                    if isAct v.Target
  +                    then if (isEps v.Target) then queueV.Enqueue(v.Target)
  +                    else queueV.Enqueue(v.Target)  
                                              
           let gr = new GraphTokenValue<_>() 
           gr.AddVerticesAndEdgeRange edgesToks |> ignore
  
positive.code:                         if (v.Source <> vertex || (isStartV v.Source))
                          then 
                              new TokenEdge<_>(v.Source, v.Target, match v.Tag.InSymb with |Smbl y -> y | _ -> failwith "Unexpected!!!" ) |> edgesToks.Add |> ignore
                              if (v.Target = vertex) then targetAct.Add(vertex) |> ignore
                              queueV.Enqueue(v.Target)
                      else 
                          if v.Source = vertex 
                          then 
                              new TokenEdge<_>(v.Source, v.Target, match v.Tag.InSymb with |Smbl y -> y | _ -> failwith "Unexpected!!!" ) |> edgesToks.Add |> ignore
                              if (v.Target = graphFst.FinalState.[0]) 
                              then targetAct.Add(v.Target) |> ignore
                              else queueV.Enqueue(v.Target)
                          else 
                              targetAct.Add(v.Source) |> ignore   
                                             
          let gr = new GraphTokenValue<_>() 
          gr.AddVerticesAndEdgeRange edgesToks |> ignore
  
negative.code: 
      let idFunction v = 
          for edge in inputFstLexer.OutEdges(v) do
              if edge.Tag.OutSymb <> Eps
              then 
                  idF := match edge.Tag.OutSymb with |Smbl y -> y | _ -> failwith "Unexpected :(" 
          !idF    
  