anchor.diff:  		 true -> from_dets(local_side_effect_tab, SideEffectFile);
   		 _ -> ets:new(local_side_effect_tab, [set, public])
   	       end,
  -    #callgraph{scc_order=Sccs, external_calls=_E} = build_callgraph(FilesToAnalyse),
  +    #callgraph{callercallee=_CallerCallee, scc_order=Sccs, external_calls=_E} = build_scc_callgraph(FilesToAnalyse),
       build_side_effect_tab(Sccs, LocalPlt, LibPlt),
       to_dets(LocalPlt, SideEffectFile),
       dets:close(list_to_atom(LibSideEffectFile)),
  
positive.code: %% put the result to the dets file: plt/side_effect_plt. 
  %%
  %% @see build_local_side_effect_tab/2.
  -spec(build_lib_side_effect_tab([filename()|dir()]) -> true).
  build_lib_side_effect_tab(FileOrDirs) ->
      Plt = ets:new(side_effect_table, [set, public]),
      #callgraph{scc_order=Sccs, external_calls=_E} = build_callgraph(FileOrDirs),
      build_side_effect_tab(Sccs, Plt, ets:new(dummy_tab, [set, public])),
      ets:insert(Plt, bifs_side_effect_table()),
      File = filename:join(?WRANGLER_DIR, "plt/side_effect_plt"),
  
negative.code: 
  -spec(get_client_files(File::filename(), SearchPaths::[dir()]) -> [filename()]).
  get_client_files(File, SearchPaths) ->
      File1 = filename:absname(normalise_file_name(File)),
      ClientFiles = wrangler_modulegraph_server:get_client_files(File1, SearchPaths),
      case ClientFiles of
  	[] ->
  	    io:format("\nWARNING: this module does not have "
  		      "any client modules, please check the "
  		      "search paths to ensure that this is "
  		      "correct!\n");
  	_ -> ok
      end, 
      HeaderFiles = expand_files(SearchPaths, ".hrl"),
      ClientFiles ++ HeaderFiles.
  
  