anchor.diff:  
   comp_bif_call(Bif, As, Env, L, St) ->
       Call = fun(Cas, _, Li, Sta) ->
  -		   Ann = line_file_anno(Li, Sta),
  -		   {ann_c_call(Ann, c_atom(erlang), c_atom(Bif), Cas),Sta}
  -	   end,
  +                   Ann = line_file_anno(Li, Sta),
  +                   {ann_c_call(Ann, c_atom(erlang), c_atom(Bif), Cas),Sta}
  +           end,
       comp_args(As, Call, Env, L, St).
   
   %% comp_args(Args, CallFun, Env, Line, State) -> {Call,State}.
  
positive.code:     {Cv,Vs,Ts,St1};                             %Not added to variables
  pat_symb(Symb, _, Vs, Ts, St0) ->
      case is_element(Symb, Vs) of
  	true ->					%Replace and add test
  	    {New,St1} = new_var(St0),
  	    {c_var(New),Vs,[['=:=',Symb,New]|Ts],St1};
  	false ->				%Just add variable
  	    {c_var(Symb),add_element(Symb, Vs),Ts,St0}
      end.
  
  %% pat_alias(CorePat, CorePat) -> AliasPat.
  
negative.code: ann_c_case(Ann, E, Cs) ->
      cerl:ann_c_case(Ann, E, Cs).
  
  %% Clause functions.
  ann_c_clause(Ann, Ps, B) ->                     %Default true guard
      cerl:ann_c_clause(Ann, Ps, B).
  
  ann_c_clause(Ann, Ps, G, B) ->
      cerl:ann_c_clause(Ann, Ps, G, B).
  
  %% Expression sequence functions.
  ann_c_seq(Ann, A, B) ->
      cerl:ann_c_seq(Ann, A, B).
  
  