anchor.diff:  			  Pats = refac_syntax:clause_patterns(C),
   			  G =  refac_syntax:clause_guard(C),
   			  Op = refac_syntax:operator(Name),    
  -			  Args = [Expr | Pats],
  +			  Args = Pats ++ [Expr],
   			  Body = [refac_syntax:application(Op, Args)],
   			  refac_syntax:clause(Pats, G, Body)
   		  end,
  
positive.code: 				Arity ->
  				    Exp1 =refac_util:update_ann(Exp, {range, {0,0}}),
  				    Args1 =refac_syntax:copy_attrs(Args, 
  								   refac_syntax:list([Exp1], Args)), 
  				    App = if length(Arguments) == 4 ->
  						  refac_syntax:application(Operator, [N, Mod, Fun, Args1]);
  					     true -> refac_syntax:application(Operator, [Mod, Fun, Args1])
  
negative.code: 			nil -> if Arity==0 ->
  				    Exp1 =refac_util:update_ann(Exp, {range, {0,0}}),
  				    Args1 =refac_syntax:copy_attrs(Args, 
  								   refac_syntax:list(refac_syntax:list_elements(Args) ++[Exp1])), 
  
  				   App = if length(Arguments) == 4 ->
  					  refac_syntax:application(Operator, [N, Mod, Fun, Args1]);
  