anchor.diff:   		    receive
    			{TypeSigPid, value, {ParSig, RtnSig}} ->
   			    ParSig1 = lists:map(fun({P,T}) -> F({P,T}) end, lists:zip(Ps, ParSig)),
  -			   %% io:format("PatSig1:\n~p\n", [ParSig1]),
    			    case RtnSig =/= ResInfo of 
    				true -> Info = {{Mod, FunName, Arity}, {ParSig1, ResInfo}},
    					TypeSigPid ! {add, Info};
  
positive.code:      case Env==Env1 of
   	true ->
   	    TypeSigPid!stop,
   	    Funs;
   	_ ->
   	    fixpoint(Funs, TypeSigPid)
       end.
  
  
  update_function(File, FunList) ->
      {ok, {AnnAST, Info}} = refac_util:parse_annotate_file(File, false, []),
      {value, {module, ModName}} = lists:keysearch(module, 1, Info),
      F = fun (Node, []) ->
  		case refac_syntax:type(Node) of
  
negative.code: 			    Node1 = refac_util:update_ann(Node, {pid, [{self, CurrentFun}]}),
  			    {Node1, true};
  			_ ->
  			    {Node, false}
  		    end
  	    end;
  	_ -> {Node, false}
  