anchor.diff:  %% @see expr/2
   %% @see transform/2
   
  --spec clauses([cerl:cerl()], rec_env:environment()) -> 
  +-spec clauses([cerl:cerl(),...], rec_env:environment()) ->
             {cerl:cerl(), [cerl:cerl()]}.
   
   clauses(Cs, Env) ->
  
positive.code: %% @see core_transform/2
  
  -ifndef(NO_UNUSED).
  transform(M, _Opts) ->
    expr(M, env__empty()).
  -endif.	% NO_UNUSED
  
negative.code: %% @see rec_env
  
  -ifndef(NO_UNUSED).
  -spec expr(cerl:cerl(), rec_env:environment()) -> cerl:cerl().
  
  expr(E, Env) ->
      case cerl:type(E) of
   	literal ->
  