anchor.diff:  	    case refac_syntax:type(M) of
   		atom ->
   		    M1 = refac_syntax:atom_value(M),
  -		    L1 = [Fun(E, M1) || E<-refac_syntax:list_elements(L)],
  +		    L1 = [add_fun_def_info_to_export_import_elems(E, M1,[]) ||
  +			     E<-refac_syntax:list_elements(L)],
   		    rewrite(F, refac_syntax:attribute(Name, [M, rewrite(L, refac_syntax:list(L1))]));
   		_ -> F
   	    end;					    
  +	_ -> F
  +    end.
  +
  +add_fun_def_info_in_export(F, ModName, DefinedFuns) ->
  +    Name = refac_syntax:attribute_name(F),
  +    Args = refac_syntax:attribute_arguments(F),
  +    case Args of
  +	[L] ->
  +	    L1 = [add_fun_def_info_to_export_import_elems(E, ModName, DefinedFuns) 
  +		  || E <- refac_syntax:list_elements(L)],
  +	    rewrite(F, refac_syntax:attribute(Name, [rewrite(L, refac_syntax:list(L1))]));
   	_ -> F
       end.
   
  
positive.code: 	_ -> Form
      end.
  
   
  add_fun_def_info_in_export(F, ModName, DefinedFuns) ->
      Fun = fun(Node) ->
  		  B = refac_syntax:arity_qualifier_body(Node),
  		  A = refac_syntax:arity_qualifier_argument(Node),
  		  Pos = refac_syntax:get_pos(B),
  		  FunName =case refac_syntax:type(B) of
  			       atom -> refac_syntax:atom_value(B);
  			       _ -> '_'
  			   end,
  		  Arity = case refac_syntax:type(A) of
  			      integer -> refac_syntax:integer_value(A);
  			      _ -> '_'
  			  end,
  		  case lists:keysearch({ModName, FunName, Arity}, 1, DefinedFuns) of
  		      {value, {{ModName, FunName, Arity}, DefinePos}} ->
  			  Ann ={fun_def, {ModName, FunName, Arity, Pos, DefinePos}};
  		      false ->
  			  Ann = {fun_def, {ModName, FunName, Arity, Pos, ?DEFAULT_LOC}}
  		  end,
  		  B1 = update_ann(B, Ann),
  		  update_ann(rewrite(Node, refac_syntax:arity_qualifier(B1, A)), Ann)
  	  end, 
      Name = refac_syntax:attribute_name(F),
      Args = refac_syntax:attribute_arguments(F),
      case Args of 
  	[L] ->
  	    L1 = [Fun(E) || E<-refac_syntax:list_elements(L)],
  	    rewrite(F, refac_syntax:attribute(Name, [rewrite(L, refac_syntax:list(L1))]));
  	_ -> F
      end.
  
  add_fun_def_info_in_form(F, ModName, DefinedFuns, ImportedFuns) ->
      {F1, _} = ast_traverse_api:full_tdTP(fun add_fun_def_info_1/2, F, {ModName, DefinedFuns, ImportedFuns}),
  
negative.code:     end.
   
  add_fun_def_info_in_import(F) ->
      Name = refac_syntax:attribute_name(F),
      Args = refac_syntax:attribute_arguments(F),
      case Args of 
  