anchor.diff:      end.
   
   
  -constant_propagate(Tree) ->
  +constant_propagate(Tree, Pid) ->
       case refac_syntax:type(Tree) of
   	match_expr ->
  -	    cons_prop_match_expr(Tree);
  +	    cons_prop_match_expr(Tree, Pid);
   	_ -> Tree
       end.
   
  
positive.code: 	 new_variable_name/1, new_variable_name/2,
  	 new_variable_names/2, new_variable_names/3,
  	 strip_comments/1, to_comment/1, to_comment/2,
  	 to_comment/3, variables/1, vann_clause/4, var_annotate_clause/4]).
  
  %% =====================================================================
  %% @spec map(Function, Tree::syntaxTree()) -> syntaxTree()
  
negative.code: 		      Bound = [],
  		      Free = L,
  		      Def = [vann_1(V3) || V3 <- L],
  		      case get_value(Pid, Def) of
  			{value, Val} ->
  			    Tree1 = ann_bindings(Tree, Env, Bound, Free, Def),
  			    Tree2 = update_ann(Tree1, {value, Val}),
  