anchor.diff:  	    State
       end.
   	
  -
   sliced_funs() ->
       sliced_funs([]).
   
  
positive.code: %% =====================================================================
  %% Refactoring: Rename a variable name.
  %%
  %% Copyright (C) 2006-2008  Huiqing Li, Simon Thompson
  
  
  %% The contents of this file are subject to the Erlang Public License,
  %% Version 1.1, (the "License"); you may not use this file except in
  
negative.code: 	    Args = refac_syntax:case_expr_argument(E),
  	    {Bound1, Free1} = {refac_util:get_bound_vars(Args), refac_util:get_free_vars(Args)},
  	    Clauses = refac_syntax:case_expr_clauses(E),
  	    NewClauses = lists:flatmap(fun (C) -> process_a_clause(C, Expr) end, Clauses), %% process each case clause.
  	    {Bound2, Free2} = lists:foldl(fun (C, {Bd, Fr}) ->
  						  {Bd1, Fr1} = {refac_util:get_bound_vars(C), refac_util:get_free_vars(C)},
  						  {ordsets:intersection(Bd, Bd1), ordsets:union(Fr, Fr1)}
  