anchor.diff:  %% @see core_transform/2
   
   -ifndef(NO_UNUSED).
  +-spec transform(cerl:cerl(), [_]) -> cerl:cerl().
  +
   transform(M, _Opts) ->
     expr(M, env__empty()).
   -endif.	% NO_UNUSED
  
positive.code: %% @see expr/2
  %% @see transform/2
  
  -spec clauses([cerl:cerl()], rec_env:environment()) -> 
            {cerl:cerl(), [cerl:cerl()]}.
  
  clauses(Cs, Env) ->
  
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 ->
  