anchor.diff:                 refac_syntax:application(Operator, [Fun, Args3])), false};
               _ -> {Node, false}
   	  end;
  -	_ -> {Node, false}
  +	atom -> 
  +          Args1 = refac_syntax:list_elements(Args),
  +          Len = length(Args1),
  +          case {refac_syntax:atom_value(Fun), Len} of
  +	    {Name, Arity} ->
  +               Args2 = get_arg(Args1, C, N),
  +               Args3 = refac_syntax:list(Args2),
  +      	       {refac_syntax:copy_attrs(Node, 
  +                 refac_syntax:application(Operator, [Fun, Args3])), false};
  +             _ -> {Node, false}
  +          end;
  +        _ -> {Node, false}
         end;
       [Mod, Fun, Args] ->
  -      Mod1 = refac_util:try_evaluation([refac_syntax:revert(Mod)]),
  -      Fun1 = refac_util:try_evaluation([refac_syntax:revert(Fun)]),
  -      case Fun1 of
  -	{value, Name} ->
  -	  case Mod1 of
  -	    {value, ModName} ->
  -	      case refac_syntax:type(Args) of
  -		list ->
  -		  case refac_syntax:list_length(Args) of
  -		    Arity ->
  -                      Args1 = refac_syntax:list_elements(Args),
  -                      Args2 = get_arg(Args1, C, N),
  -                      Args3 = refac_syntax:list(Args2),
  -		      {refac_syntax:copy_pos(Node, refac_syntax:
  -                            copy_attrs(Node, refac_syntax:application(Operator, 
  +      Args1 = refac_syntax:list_elements(Args),
  +      Len = length(Args1),
  +      case {refac_syntax:atom_value(Fun), Len, refac_syntax:atom_value(Mod)} of
  +        {Name, Arity, ModName} ->
  +          Args2 = get_arg(Args1, C, N),
  +          Args3 = refac_syntax:list(Args2),
  +	  {refac_syntax:copy_pos(Node, refac_syntax:
  +                 copy_attrs(Node, refac_syntax:application(Operator, 
                                          [Mod, Fun, Args3]))),false};
  -		    _ -> {Node, false}
  -		  end;
  -		_ -> {Node, false}
  -	      end;
  -	    _ -> {Node, false}
  -	  end;
  -	_ -> {Node, false}
  +        _ -> {Node, false}
         end;
       _ -> 
         {Node, false}
  
positive.code:                   Parameters = refac_syntax:application_arguments(Tree),
                    NewArgs = get_arg(Parameters, C, N),
  		  {refac_syntax:copy_attrs(Tree, 
                                 refac_syntax:application(Operator, NewArgs)),false};
  		_ -> {Tree, false}
  	      end;
  	    _ -> {Tree, false}
  
negative.code:     {_, false} -> AnnAST1
    end.
  
  
  %% =====================================================================
  %% @spec implicit(Node::syntaxtree(), {}) -> {[], atom()}
  %% @end
  %% =====================================================================
  implicit(Node, {})->
    case refac_syntax:type(Node) of 
      implicit_fun -> {[], true};
  