anchor.diff:  	      smart_fun(M, F, A, Lf, Clss);
   	 ({'fun',Lf,{clauses,Clss}, Info}) ->
   	      smart_fun(M, F, A, Lf, Clss, Info);
  -	 ({op,Lo,Op,E1,E2}=E) ->
  +	 ({op,Lo,Op,E1,E2}=_E) ->
   	      smart_binop(M, F, A, Lo, Op, E1, E2);
  -	 ({op,Lo,Op,E1}=E) ->
  +	 ({op,Lo,Op,E1}=_E) ->
   	      smart_unop(M, F, A, Lo, Op, E1);
  -	 ({call,Lc,{remote,Lr,{atom,Lm,erlang},{atom,Lf,exit}},[Rsn]}=E) ->
  +	 ({call,Lc,{remote,_Lr,{atom,_Lm,erlang},{atom,_Lf,exit}},[Rsn]}=_E) ->
   	      smart_exit(M, F, A, Lc, Rsn);
  -	 ({call,Lc,{remote,Lr,{atom,Lm,erlang},{atom,Lf,fault}},[Rsn]}=E) ->
  +	 ({call,Lc,{remote,_Lr,{atom,_Lm,erlang},{atom,_Lf,fault}},[Rsn]}=_E) ->
   	      smart_fault(M, F, A, Lc, Rsn);
  -	 ({call,Lc,{remote,Lr,{atom,Lm,erlang},{atom,Lf,error}},[Rsn]}=E) ->
  +	 ({call,Lc,{remote,_Lr,{atom,_Lm,erlang},{atom,_Lf,error}},[Rsn]}=_E) ->
   	      smart_error(M, F, A, Lc, Rsn);
  -	 ({call,Lc,{remote,Lr,{atom,Lm,erlang},{atom,Lf,throw}},[Rsn]}=E) ->
  +	 ({call,_Lc,{remote,_Lr,{atom,_Lm,erlang},{atom,_Lf,throw}},[_Rsn]}=E) ->
   	      E;
  -	 ({call,Lc,{atom,Lf,exit},[Rsn]}=E) ->
  +	 ({call,Lc,{atom,_Lf,exit},[Rsn]}=_E) ->
   	      smart_exit(M, F, A, Lc, Rsn);
  -	 ({call,Lc,{atom,Lf,throw},[Rsn]}=E) ->
  +	 ({call,_Lc,{atom,_Lf,throw},[_Rsn]}=E) ->
   	      E;
  -	 ({call,Lc,{remote,Lr,{atom,Lm,Mod},{atom,Lf,Fn}},As}=E) ->
  +	 ({call,Lc,{remote,_Lr,{atom,_Lm,Mod},{atom,_Lf,Fn}},As}=E) ->
   	      case erlang:is_builtin(Mod, Fn, length(As)) of
   		  true ->
   		      smart_bif(M, F, A, Lc, 
  
positive.code:     Forms = simple_resolve_imports(Forms0),
      [ form(M, Form) || Form <- Forms ].
  
  form(M, {function, Line, F, A, _Clss} = Form) ->
      mapform0(
        fun({function, Lf, F1, A1, []}=Form0) ->
  	      Form0;
  	 ({function, Lf, F1, A1, Clss}) ->
  	      smart_function(M, F1, A1, Lf, Clss);
  	 ({match, Lm, P, E}=Expr) ->
  	      smart_match(M, F, A, Lm, P, E);
  	 ({'case',Lc,E,Clss}) ->
  	      smart_case(M, F, A, Lc, E, Clss);
  
negative.code:     F(list_to_tuple([ mapform0(F, Tsub) || Tsub <- tuple_to_list(T) ]));
  mapform0(F, Xs) when is_list(Xs) ->
      [ mapform0(F, X) || X <- Xs ];
  mapform0(_F, C) when is_atom(C) ; is_number(C) ->
      C.
  
  %% detect + elide pattern in qualifier
  