anchor.diff:  
   %%
   
  -function_name({function, Lf, F, A, Clss}) ->
  +function_name({function, _Lf, F, A, _Clss}) ->
       {F, A};
  -function_name(Other) ->
  +function_name(_Other) ->
       {not_a_function, no_name}.
   
   %%
  
positive.code: 
  vars_of({var, _, '_'}, Vs) ->
      Vs;
  vars_of({var, _, X}=V, Vs) ->
      [V|Vs];
  vars_of(T, Vs0) when is_tuple(T) ->
      lists:foldl(
  
negative.code: %%   * something similar was optionally done in version 1.0 for BIFs
  %%   * left for "future work"
  
  smart_bin(M, F, A, Line, {bin, _Lb, _BinElts}=Expr) ->
      Rsn = new_var(),
      Exn_rsn = bin_error(Expr, Rsn),
      Exn_term = exn_term({M, F, A}, {line, Line}, Exn_rsn),
  