anchor.diff:  	Rated1 = rated(Debits, Rated),
   	Service2 = Service1#service{session_attributes = []},
   	ok = mnesia:write(Service2),
  -	{out_of_credit, RedirectServerAddress, SessionList, Rated1, DeletedBuckets,
  +	{out_of_credit, SessionList, Rated1, DeletedBuckets,
   			accumulated_balance(NewBuckets, Product#product.id)};
   charge3(#service{enabled = false, session_attributes = SessionList} = Service1, Product,
   		Buckets, _Flag, {Units, _Charge}, {Units, _Charged},
  
positive.code: 			ok = send_notifications(DeletedBuckets),
  			ok = notify_accumulated_balance(AccBalance),
  			{ok, Sub, Granted, Rated1};
  		{atomic, {out_of_credit, RedirectServerAddress, SL, Rated, DeletedBuckets, AccBalance}} ->
  			ok = send_notifications(DeletedBuckets),
  			ok = notify_accumulated_balance(AccBalance),
  			{out_of_credit, RedirectServerAddress, SL, Rated};
  		{atomic, {grant, Sub, {_Units, Amount} = Granted, DeletedBuckets,
  				AccBalance}} when is_integer(Amount) ->
  			ok = send_notifications(DeletedBuckets),
  			ok = notify_accumulated_balance(AccBalance),
  			{ok, Sub, Granted};
  		{atomic, {out_of_credit, RedirectServerAddress, SL, DeletedBuckets, AccBalance}} ->
  			ok = send_notifications(DeletedBuckets),
  			ok = notify_accumulated_balance(AccBalance),
  			{out_of_credit, RedirectServerAddress, SL};
  		{atomic, {disabled, SL, DeletedBuckets, AccBalance}} ->
  			ok = send_notifications(DeletedBuckets),
  			ok = notify_accumulated_balance(AccBalance),
  			{disabled, SL};
  
negative.code: 			ok = send_notifications(DeletedBuckets),
  			ok = notify_accumulated_balance(AccBalance),
  			{ok, Sub, Rated1};
  		{atomic, {{ok, Sub, Granted, Rated, DeletedBuckets, AccBalance}, _}}
  				when is_list(Rated); Rated == #rated{} ->
  			Rated1 = case Rated of
  				Rated when is_list(Rated) ->
  