anchor.diff:  
   -include("../include/wrangler.hrl").
   
  -type_ann_ast(File, AnnAST, SearchPaths, TabWidth) ->
  +type_ann_ast(File, Info, AnnAST, SearchPaths, TabWidth) ->
  +    {value, {module, ModName}} = lists:keysearch(module, 1, Info),
       TestFrameWorkUsed = refac_util:test_framework_used(File),
       Pid = start_type_env_process(),
       Fs = refac_syntax:form_list_elements(AnnAST),
  -    Funs = sorted_funs(File),
  +    Funs = sorted_funs(ModName, AnnAST),
       Funs1 = lists:map(fun({{M,F, A},FunDef}) ->
   			      {{M, F, A},do_type_ann(File, FunDef, TestFrameWorkUsed,SearchPaths, TabWidth, Pid)} end, Funs), 
       Fs1 = lists:map(fun(Form) ->
  
positive.code:     end.
  
      
  sorted_funs(File) ->
      CallGraph = wrangler_callgraph_server:get_callgraph([File]),
      lists:append(CallGraph#callgraph.scc_order).
  
   
  %% mod_name_as_pars_1() ->
  %%     [{{erlang, apply, 3}, [modulenmae, functionname, arglist], term},
  %%      {{erlang, spawn, 3}, [modulename, functionname, arglist], term},
  
negative.code:     end.
  
  type_ann_file(File, SearchPaths, TabWidth) ->
      {ok, {AnnAST, Info}} = refac_util:parse_annotate_file(File, true, SearchPaths),
      {value, {module, ModName}} = lists:keysearch(module, 1, Info),
      TestFrameWorkUsed = refac_util:test_framework_used(File),
      Pid =start_type_env_process(),
      Fs = refac_syntax:form_list_elements(AnnAST),
      Funs = sorted_funs(ModName, AnnAST),
      Funs1 = lists:map(fun({{M,F, A},FunDef}) ->
  			      {{M, F, A},do_type_ann(File, FunDef, TestFrameWorkUsed, SearchPaths, TabWidth, Pid)} end, Funs), 
      Fs1 = lists:map(fun(Form) ->
  