anchor.diff:  			rpgb:splice(Auras, Next, 0, [{call, ?MODULE, decode_res, [Res]}])
   	end,
   	State#state{auras = Auras2};
  +
   next_state(#state{zones = Zones} = State, Res, {call, _, delete_zone, [Nth, _]}) ->
   	State#state{zones = rpgb:snip(Nth, Zones)};
  +
  +next_state(#state{auras = Auras} = State, Res, {call, _, delete_aura, [Nth, _, _]}) ->
  +	State#state{auras = rpgb:snip(Nth, Auras)};
  +
   next_state(State, _Res, _Call) ->
   	State.
   
  
positive.code: %		{call, ?MODULE, update_zone_bad_user, [g_zone(), g_maybe_layer(), g_maybe_next(zone, S), oneof(['baduser', 'partier1', 'partier2']), S]},
  %		{call, ?MODULE, update_aura_bad_user, [g_zone(), g_maybe_layer(), g_maybe_next(aura, S), oneof(['baduser', 'wrong_partier']), S]},
  %
  %		{call, ?MODULE, delete_aura, [g_existant(S), oneof(['map_owner', 'aura_owner']), S]}
  		{call, ?MODULE, delete_zone, [g_existant(zone, S), S]}
  	]).
  
  g_next(zone, #state{zones = []}) ->
  
negative.code: 	true;
  
  postcondition(State, {call, _, delete_zone, _}, {ok, "204", _, _}) ->
  	true;
  
  postcondition(State, {call, _, delete_aura, _}, {ok, "204", _, _}) ->
  	true;
  
  postcondition(S, C, R) ->
  