anchor.diff:   	{TypeSigPid, Env} ->
    	    Env
        end,
  -     do_topdown_prop(Funs, TypeSigPid),
  +     Funs1 =do_topdown_prop(Funs, TypeSigPid),
        TypeSigPid ! {self(), getenv},
        receive
    	{TypeSigPid, Env1} ->
  
positive.code:  	  case lists:keysearch(pid, 1, Ann) of           %% Ingnore process name first.
   	    {value, {pid, Value}} ->
   		P1 = refac_util:update_ann(P, {pid, Value}),
  		%%io:format("P1:\n~p\n", [P1]),
   		case refac_syntax:type(P) of
   		  variable ->
   		      Ann1 = refac_syntax:get_ann(P),
  
negative.code:      case Env==Env1 of
   	true ->
   	    TypeSigPid!stop,
   	    Funs1;
   	_ ->
   	    fixpoint(Funs1, TypeSigPid)
       end.
  
  
  update_function(File, FunList) ->
      {ok, {AnnAST, Info}} = refac_util:parse_annotate_file(File, true, []),
      {value, {module, ModName}} = lists:keysearch(module, 1, Info),
      F = fun (Node, []) ->
  		case refac_syntax:type(Node) of
  