anchor.diff:              | None -> 
                   Error ("String was not parsed")
               | Some res -> 
  -                printfn "Reused descriptors %d" !reused
  -                printfn "All descriptors %d" !descriptorNumber
  +                //printfn "Reused descriptors %d" !reused
  +                //printfn "All descriptors %d" !descriptorNumber
                   Success1 (res) 
                                     
positive.code: 
          for e in input.InitialVertices do
              let ext = packExtension e e
              setR.Enqueue(new Context2(e, !currentLabel, !currentGSSNode, ext))
  
          let currentContext = ref <| new Context2(!currentIndex, !currentLabel, !currentGSSNode, !currentExtension)
          
  
negative.code:         let addContext (inputVertex : int) (label : int<labelMeasure>) vertex extension =
              if not <| containsContext inputVertex label vertex extension 
              then
                  setR.Push(new Context2(inputVertex, label, vertex, extension))
                  incr descriptorNumber
              else
                incr reused
  