anchor.diff:  
   -module(nci).
   
  --export([compute/1,compute_from_graph/1,clean_vertex/2]).
  +-export([compute/1,compute_from_graph/1,clean_vertex/2,print_labels/1]).
   
   
   %% === compute(EdgeList) is the API function to be called by external calling code === 
  
positive.code: 
  
  label_vertex(G,Vertex)->
      {Vert,Label} = digraph:vertex(G,Vertex),
      {NewLabel,Num} = calc_label(G,Vertex),
      case NewLabel =/= Label of
  	true -> 
  	    digraph:add_vertex(G,Vertex,NewLabel),
  
negative.code: 			  end,{0,0,G},V),
  
      
      {_NewStopCount,NewGoCount,G3} = RunCond,
  
      %% At this point in the code, 
      %%     NewStopCount represents how many vertices were NOT relabeled in this iternation and
  