anchor.diff:       case Env==Env1 of
    	true ->
    	    TypeSigPid!stop,
  - 	    Funs;
  + 	    Funs1;
    	_ ->
  - 	    fixpoint(Funs, TypeSigPid)
  + 	    fixpoint(Funs1, TypeSigPid)
        end.
   
   
   update_function(File, FunList) ->
  -    {ok, {AnnAST, Info}} = refac_util:parse_annotate_file(File, false, []),
  +    {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
  
positive.code:     Pid = start_fun_typesig_process([]),            %% Refactor this USING WRANGLER:  register a process, and remove the uses of Pid.
      SortedFuns1 = do_ann_pid_info(SortedFuns, Pid),
      stop_counter_process(),
      lists:map(fun (File) -> {File, update_function(File, SortedFuns1)} end, Files).
      
  
  do_ann_pid_info(Funs, Pid) ->
  
negative.code: 		end
  	end,
      {AnnAST1, _} = refac_util:stop_tdTP(F, AnnAST, []),
      refac_ast_server:update_ast(File, {AnnAST1, Info, filelib:last_modified(File)}),
      ok.
  
  annotate_within_fun(Node, {_ModName, FunName, Arity, EnvPid, TypeSigPid}) ->
      case refac_syntax:type(Node) of
  