anchor.diff:  find_maxline(LC) ->
       put('$erl_eval_max_line', 0),
       F = fun(A) ->
  -                L = erl_anno:line(A),
  -                case is_integer(L) and (L > get('$erl_eval_max_line')) of
  -                    true -> put('$erl_eval_max_line', L);
  +                case erl_anno:is_anno(A) of
  +                    true ->
  +                        L = erl_anno:line(A),
  +                        case
  +                            is_integer(L) and (L > get('$erl_eval_max_line'))
  +                        of
  +                            true -> put('$erl_eval_max_line', L);
  +                            false -> ok
  +                        end;
                       false -> ok
  -                end end,
  +                end
  +        end,
       _ = erl_parse:map_anno(F, LC),
       erase('$erl_eval_max_line').
   
  
positive.code:         true ->
              E
      end;
  unhide_calls({call,A,{remote,L,{atom,L,m},{atom,L,f}}=F,Args}, MaxLine, D) ->
      Line = erl_anno:line(A),
      if
          Line > MaxLine ->
              {call,Atom} = map_get(Line, D),
              {call,L,Atom,unhide_calls(Args, MaxLine, D)};
          true ->
              {call,A,F,unhide_calls(Args, MaxLine, D)}
      end;
  unhide_calls(T, MaxLine, D) when is_tuple(T) -> 
      list_to_tuple(unhide_calls(tuple_to_list(T), MaxLine, D));
  
negative.code: expr({'receive',_, Cs, E, TB}, Bs0, Lf, Ef, RBs) ->
      {value,T,Bs} = expr(E, Bs0, Lf, Ef, none),
      receive_clauses(T, Cs, {TB,Bs}, Bs0, Lf, Ef, RBs);
  expr({'fun',_Anno,{function,Mod0,Name0,Arity0}}, Bs0, Lf, Ef, RBs) ->
      {[Mod,Name,Arity],Bs} = expr_list([Mod0,Name0,Arity0], Bs0, Lf, Ef),
      F = erlang:make_fun(Mod, Name, Arity),
      ret_expr(F, Bs, RBs);    
  expr({'fun',_Anno,{function,Name,Arity}}, _Bs0, _Lf, _Ef, _RBs) -> % R8
      %% Don't know what to do...
      erlang:raise(error, undef, [{?MODULE,Name,Arity}|?STACKTRACE]);
  expr({'fun',Anno,{clauses,Cs}} = Ex, Bs, Lf, Ef, RBs) ->
      %% Save only used variables in the function environment.
      %% {value,L,V} are hidden while lint finds used variables.
      {Ex1, _} = hide_calls(Ex, 0),
  