anchor.diff:  -spec call_function(line(), atom(), arity(), lint_state()) -> lint_state().
   %%  Add to both called and calls.
   
  -call_function(Line, F, A, #lint{usage=Usage0,called=Cd,func=Func}=St) ->
  +call_function(Line, F, A, #lint{usage=Usage0,called=Cd,func=Func,file=File}=St) ->
       #usage{calls = Cs} = Usage0,
       NA = {F,A},
       Usage = case Cs of
   		undefined -> Usage0;
   		_ -> Usage0#usage{calls=dict:append(Func, NA, Cs)}
   	    end,
  -    St#lint{called=[{NA,Line}|Cd], usage=Usage}.
  +    Anno = erl_anno:set_file(File, Line),
  +    St#lint{called=[{NA,Anno}|Cd], usage=Usage}.
   
   %% function(Line, Name, Arity, Clauses, State) -> State.
   
  
positive.code: %%  Return all new variables in UpdVarTable as unsafe.
  
  vtunsafe({Tag,FileLine}, Uvt, Vt) ->
      {_File,Line} = loc(FileLine),
      [{V,{{unsafe,{Tag,Line}},U,Ls}} || {V,{_,U,Ls}} <- vtnew(Uvt, Vt)].
  
  %% vtmerge(VarTable, VarTable) -> VarTable.
  
negative.code: 	    UsedTypes = gb_sets:from_list(L),
  	    FoldFun =
  		fun(Type, #typeinfo{line = FileLine}, AccSt) ->
                          case loc(FileLine, AccSt) of
  			    {FirstFile, _} ->
  				case gb_sets:is_member(Type, UsedTypes) of
  				    true -> AccSt;
  