anchor.diff:          if newGssVs.Count > 0 
           then
               v.unprocessedGssVertices.AddRange(newGssVs)
  -            verticesToProcess.Enqueue(v)
  -
  +            //verticesToProcess.Enqueue(v)
  +            customEnqueue v
           if verticesSeenBefore.[v]
           then
               for e in innerGraph.OutEdges(v) do
                   if e.Target.reductions.Count > 0 || e.Target.unprocessedGssVertices.Count > 0
                   then
  -                    verticesToProcess.Enqueue (e.Target)
  -
  +                    //verticesToProcess.Enqueue (e.Target)
  +                    customEnqueue e.Target
               let toRecalc = handlePassingReductions v
  -            for vToRecalc in toRecalc do verticesToProcess.Enqueue (vToRecalc)
  +            for vToRecalc in toRecalc do customEnqueue vToRecalc //verticesToProcess.Enqueue (vToRecalc)
           else
               for e in innerGraph.OutEdges(v) do
  -                verticesToProcess.Enqueue (e.Target)
  +                customEnqueue e.Target
  +                //verticesToProcess.Enqueue (e.Target)
   
   
       if tokens.EdgeCount = 0
  
positive.code:                 if edgesToTerms.ContainsKey e
                  then
                      edge <- new Edge(gssVertex, edgesToTerms.[e])
                      targetGssV.addEdge edge
                  else 
                      terminals.Add e.Tag
                      nodes.Add <| Terminal (terminals.Count - 1)
                      edgesToTerms.Add(e, nodes.Count - 1)
                      edge <- new Edge(gssVertex, nodes.Count - 1)
                      targetGssV.addEdge edge
  
                  for e2 in innerGraph.OutEdges e.Target do
  
negative.code:     for v in innerGraph.Vertices do
          verticesSeenBefore.Add(v, false)
      
      let customEnqueue (elem : VInfo<_>) = 
          if verticesToProcess.Count = 0 || not <| (verticesToProcess.Last(fun _ -> true).vNum = elem.vNum) //.Any(fun x -> x.vNum = elem.vNum)
              then verticesToProcess.Enqueue(elem)
  
      let edgesToTerms = new Dictionary<_,_>()
      let push currentGraphV gssVertex state =
          let reductions = new ResizeArray<_>(10)
  