anchor.diff:  		  false ->
   		      case {Mod1, Fun1, Ari1} of
   			{ModName, FunName, Arity} ->
  -			    case refac_syntax:type(Operator) of
  -			      module_qualifier ->
  -				  MakeApp(Node, Operator, Args, TargetModName, FunName);
  -			      _ -> {Node, false}
  +			    case refac_syntax:type(Op) of
  +				module_qualifier ->
  +				  MakeApp(Node, Op, Args, TargetModName, FunName);
  +				tuple ->
  +				    [M, F] = refac_syntax:tuple_elements(Op),
  +				    Op1 = copy_pos_attrs(Op, refac_syntax:tuple(
  +							       [copy_pos_attrs(M, refac_syntax:atom(TargetModName)), F])),
  +				    Node1 = copy_pos_attrs(Node, refac_syntax:application(Op1, Args)),
  +				    {Node1, true};
  +				_ -> {Node, false}
   			    end;
   			_ -> {Node, false}
   		      end
  
positive.code: 
  do_rename_fun_in_tuples(Node, {FileName, SearchPaths, ModName, FunName, TargetModName, Arity, Pid, TabWidth}) ->
      case refac_syntax:tuple_elements(Node) of
  	[E1, E2, E3] ->
  	    case refac_rename_fun:try_eval(FileName, E1, SearchPaths, TabWidth) of
  		{value, ModName} ->
  
negative.code: 				{M, F, A} == {ModName, FunName, Arity} of
  				true ->
  				    {Node, false};
  				_ when  M=/='_'  ->
  				    {copy_pos_attrs(Node, refac_syntax:application(
  							    copy_pos_attrs(Op, refac_syntax:module_qualifier(refac_syntax:atom(M), Op)), Args)),
  				     true};
  				_ ->
  				    {Line, Col} = refac_syntax:get_pos(Op),
  				    Str = "Wrangler could not infer where the function "++atom_to_list(F)++"/"++ integer_to_list(A) ++
  					", used at location {"++integer_to_list(Line)++","++integer_to_list(Col)++"} in the current module, is defined.",               
  				    throw({error, Str})
  			    end;
  			_ ->
  			    case (M==TargetModName) of 
  