anchor.diff:  	    variable ->
   		refac_syntax:variable_name(Exp)
       end.
  +
  +
  +match_expr_patterns(E) ->
  +    case refac_syntax:type(E) of 
  +	match_expr ->
  +	    P = refac_syntax:match_expr_pattern(E),
  +	    B = refac_syntax:match_expr_body(E),
  +	    [P|match_expr_patterns(B)];
  +	_ ->[]
  +    end.
  +match_expr_body(E) ->
  +    case refac_syntax:type(E) of
  +	match_expr ->
  +	    B = refac_syntax:match_expr_body(E),
  +	    match_expr_body(B);
  +	_ -> E
  +    end.
  +
  +make_match_expr(Ps, Body) ->	
  +    make_match_expr_1(lists:reverse(Ps), Body).
  +
  +make_match_expr_1([], Body) -> Body;
  +make_match_expr_1([P], Body) ->
  +    refac_syntax:match_expr(P, Body);
  +make_match_expr_1([P|Ps], Body) ->
  +    make_match_expr_1(Ps, refac_syntax:match_expr(P, Body)).
  +
  +
  +
  +collect_vars(Node) ->
  +    Fun= fun(T, S) ->
  +		 case refac_syntax:type(T) of 
  +		     variable ->
  +			 VarName = refac_syntax:variable_name(T),
  +			 ordsets:add_element(VarName, S);
  +		     _ -> S
  +		 end
  +	 end,
  +    refac_syntax_lib:fold(Fun, ordsets:new(), Node).
  
positive.code: 			  case refac_syntax:block_expr_body(E) of
  			      BlockBody ->
  				  BlockBody;
  			      _ -> [E]
  			  end;
  		      _ -> [E]
  
negative.code: 
  
  
  auto_rename_vars(ClauseToInline, {Clause, App}) ->
      VarName = 'WRANGLER_TEMP_VAR',
      {Clause1, _} = refac_util:stop_tdTP(fun do_replace_app_with_match/2, Clause,
  					{App, refac_syntax:variable(VarName)}),
      Clause2 = refac_syntax_lib:annotate_bindings(refac_util:reset_attrs(Clause1), []),
      BdsInFunToInline = get_bound_vars(ClauseToInline),
      Fun = fun (Node, S) ->
  		  S ++ get_vars_to_rename(Node, {VarName, BdsInFunToInline})
  	  end,
      VarsToRename = [{Name, DefinePos}|| 
  		       {_Name, Pos} <- lists:keysort(2, refac_syntax_lib:fold(Fun, [], Clause2)),
  		       {ok, {Name,DefinePos, _}} <-[refac_util:pos_to_var_name(ClauseToInline, Pos)]],
      do_rename_var(ClauseToInline, lists:usort(VarsToRename), collect_vars(Clause)).
  
  
  do_replace_app_with_match(Node, {App, Var}) ->
      case Node of
  