anchor.diff:  %%==========================================================================================
   -spec(caller_called_modules(FName::filename(), SearchPaths::[dir()], TabWidth::integer()) -> ok).
   caller_called_modules(FName, SearchPaths, _TabWidth) ->
  +    check_search_paths(FName, SearchPaths),
       %% I use 'false' in the following function call, so that macro can get expanded;
       AbsFileName = filename:absname(filename:join(filename:split(FName))),
       ClientFiles = wrangler_modulegraph_server:get_client_files(AbsFileName, SearchPaths),
  
positive.code: 
  -spec(non_tail_recursive_servers_in_file(FName::filename(), SearchPaths::[dir()], TabWidth::integer()) -> ok).
  non_tail_recursive_servers_in_file(FName, SearchPaths, TabWidth) ->
      Funs = non_tail_recursive_servers(FName, SearchPaths, TabWidth),
      non_tail_format_results(Funs).
   
  -spec(non_tail_recursive_servers_in_dirs(SearchPaths::[dir()], TabWidth::integer()) -> ok).
  non_tail_recursive_servers_in_dirs(SearchPaths, TabWidth) ->
      Files = refac_util:expand_files(SearchPaths, ".erl"),
      Funs = lists:flatmap(fun(F) ->
  				 non_tail_recursive_servers(F, SearchPaths, TabWidth)
  
negative.code: 			       {_, {EndLine, _}} = refac_misc:get_start_end_loc(E),
  			       case EndLine >= Line of
  				 true ->
  				       CalledFuns = wrangler_callgraph_server:called_funs(E),
  				       case lists:subtract(CalledFuns, MFAs) of
  				       CalledFuns -> false;
  				       _ -> true
  				     end;
  