anchor.diff:  			    false ->
   				%% Free occurrence; 
   				Bound = [],
  -				Free = [{V, ?DEFAULT_LOC}],
  +				Free = [{V, P}],
   				Def = [?DEFAULT_LOC],
   				ann_bindings(Tree1, Env, Bound, Free, Def)
   			end;
  
positive.code: 
  adjust_define_body(Body, Env) ->
      F = fun (Tree1) ->
  		case refac_syntax:type(Tree1) of
  		    variable ->
  			V = refac_syntax:variable_name(Tree1),
  			case lists:keysearch(V, 1, Env) of
  			    {value, {V, L}} ->
  
negative.code: 		    case [V2 || V2 <- Env, vann_1(V2, V)] of
  			[] ->
  			    Bound = [],
  			    Free = [{V, P}],
  			    Def = [?DEFAULT_LOC],
  			    {ann_bindings(Tree, Env, Bound, Free, Def), Bound, Free};
  			L ->
  