anchor.diff:  		    St3 = call_site(Ls, L, As, St2),
   		    L1 = get_label(T),
   		    D = dict:store(L1, X, St3#intraprocedural_state.dep),
  -		    {Xs1, St3#intraprocedural_state{dep = D}};
  +
  +			ApplyOp = cerl:apply_op(T),
  +			St4 = case type(ApplyOp) of 
  +				var ->
  +					VarName = var_name(ApplyOp),
  +					case VarName of 
  +						{external, 1} ->
  +							%% Called only by outside of this module.
  +							St3;
  +						{_, _} ->
  +							% io:format("found function usage here: ~p~n", [VarName]),
  +							St3#intraprocedural_state{applys=sets:add_element(VarName, St3#intraprocedural_state.applys)};
  +						_ ->
  +							St3
  +					end;
  +				_ ->
  +					St3
  +			end,
  +
  +		    {Xs1, St4#intraprocedural_state{dep = D}};
   		none ->
   		    {none, St2}
   	    end;
  
positive.code: 		false ->
  			TupleTrees = tuple_es(Tree),
  			concrete(hd(TupleTrees))
  	end.
negative.code: 	%% function.
  	case dict:find({handle_info, 2}, NamesToFunctions) of
  		{ok, {_, HandleInfoTree}} ->
  			analysis_from_function_clause(NamesToFunctions, HandleInfoTree);
  		_Error ->
  			ok
  	end,
  