anchor.diff:  	    UsedTypes = gb_sets:from_list(L),
   	    FoldFun =
   		fun(Type, #typeinfo{line = FileLine}, AccSt) ->
  -                        case loc(FileLine) of
  +                        case loc(FileLine, AccSt) of
   			    {FirstFile, _} ->
   				case gb_sets:is_member(Type, UsedTypes) of
   				    true -> AccSt;
  
positive.code:     {Cvt,St3} = icrt_clauses(Cs, Vt, St2),
      %% Csvts = [vtnew(Tevt, Vt)|Cvt],           %This is just NEW variables!
      Csvts = [Tevt|Cvt],
      Rvt = icrt_export(Csvts, Vt, {'receive',Line}),
      {vtmerge([Tvt,Tevt,Rvt]),St3};
  expr({'fun',Line,Body}, Vt, St) ->
      %%No one can think funs export!
  
negative.code: -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,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,
      Anno = erl_anno:set_file(File, Line),
      St#lint{called=[{NA,Anno}|Cd], usage=Usage}.
  
  %% function(Line, Name, Arity, Clauses, State) -> State.
  
  