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: 	true;
  
  postcondition(State, {call, _, delete_zone, _}, {ok, "204", _, _}) ->
  	true;
  
  postcondition(S, C, R) ->
  
negative.code: 			rpgb:splice(Zones, Next, 0, [{call, ?MODULE, decode_res, [Res]}])
  	end,
  	State#state{zones = Zones2};
  
  next_state(#state{auras = Auras} = State, Res, {call, _, create_aura, [_Put, _Name, Next, _Putter, _S]}) ->
  	Auras2 = if
  		is_atom(Next) ->
  