anchor.diff:  %%% TO think: any other problems/restrictions with thus fun?
   annotate_special_fun_apps({CurrentFun,FunDef}, EnvPid) ->
       init_counter(),
  -    Res = refac_util:stop_tdTP(fun do_annotate_special_fun_apps/2, FunDef, {CurrentFun, EnvPid}),
  -    Res.
  -
  -
  -do_annotate_special_fun_apps(Node, {CurrentFun, EnvPid}) ->
  +    {FunDef1, _} = refac_util:stop_tdTP(fun do_annotate_special_fun_apps_pid/2, FunDef, {CurrentFun, EnvPid}),
  +    refac_util:full_buTP(fun do_annotate_special_fun_apps_pname/2, FunDef1, EnvPid).
  +   
  +
  +
  +do_annotate_special_fun_apps_pid(Node, {CurrentFun, EnvPid}) ->
       case refac_syntax:type(Node) of
   	application ->
   	    case is_spawn_app(Node) of   %% TODO:How about meta application of spawn?
  
positive.code: 	  end;
        application ->
   	    Operator = refac_syntax:application_operator(Node),
   	    Ann = refac_syntax:get_ann(Operator),
   	    case lists:keysearch(fun_def, 1, Ann) of 
   		{value, {fun_def, {M1, F1, A1, _P1, _2}}} ->
   		   TypeSigPid ! {self(), get, {M1, F1, A1}},
   		   receive 
   		       {TypeSigPid, value, {_ParSig,  RtnSig}} ->
   			   case RtnSig of 
   			       any -> Node;
   			       Pid -> refac_util:update_ann(Node, Pid)
   			   end;
   		       {TypeSigPid, false} ->
   			   Node
  
negative.code:  		    LastExp = lists:last(refac_syntax:clause_body(C)),
   		    Res = case refac_syntax:type(LastExp) of
   			      match_expr -> refac_syntax:match_expr_pattern(LastExp);
   			      _ -> LastExp  
  			  end,
   		     ResInfo = case lists:keysearch(pid, 1, refac_syntax:get_ann(Res)) of
   				  {value, {pid, Value}} -> {pid, Value};
  				  _ -> case lists:keysearch(pname, 1, refac_syntax:get_ann(Res)) of 
  					   {value, {pname, Value}} -> {pname, Value};
  					   _ -> any
  				       end
  			       end,
  		    F = fun({P, _T}) ->
  				Ann1 = refac_syntax:get_ann(P), 
  				case lists:keysearch(pid,1,Ann1) of 
  				    {value, {pid, Value1}} ->
  					{pid, Value1};
  				    _ -> case lists:keysearch(pname,1, Ann1) of 
  					     {value, {pname, V}} ->
  						 {pname, V};
  					     _-> any
  					 end
  				end
  			end,
   		    TypeSigPid ! {self(), get, {Mod, FunName, Arity}},		  	   
  