anchor.diff:  	Price = #price{name = ocs:generate_identity(), start_date = SD,
   			type = recurring, period = monthly,
   			amount = Amount, alteration = Alteration},
  -	OfferId = ocs:generate_identity(),
  -	Offer = #offer{name = OfferId, start_date = SD,
  -			status = active, price = [Price]},
  -	{ok, #offer{}} = ocs:add_offer(Offer),
  +	OfferId = add_offer([Price], 4),
  +	receive
  +		Input1 ->
  +			{struct, OfferEvent} = mochijson:decode(Input1),
  +			{_, "ProductOfferingCreationNotification"}
  +					= lists:keyfind("eventType", 1, OfferEvent)
  +	end,
   	{ok, #product{id = ProdId} = P} = ocs:add_product(OfferId, []),
   	receive
  -		Input1 ->
  -			{struct, ProductEvent} = mochijson:decode(Input1),
  +		Input2 ->
  +			{struct, ProductEvent} = mochijson:decode(Input2),
   			{_, "ProductCreationNotification"}
   					= lists:keyfind("eventType", 1, ProductEvent),
   			{_, {struct, ProductList}} = lists:keyfind("event", 1, ProductEvent),
  
positive.code: 			undefined, ServiceId, Timestamp, undefined, undefined, initial,
  			[], [{octets, PackageSize}], SessionId),
  	DeletedBalance = receive
  		Input4 ->
  			{struct, BalDelEvent} = mochijson:decode(Input4),
  			{_, "BucketBalanceDeletionEvent"}
  					= lists:keyfind("eventType", 1, BalDelEvent),
  			{_, {struct, DeletedBalList}} = lists:keyfind("event", 1, BalDelEvent),
  
negative.code: 	P1 = #price{name = ocs:generate_identity(), type = usage, units = octets,
  			size = PackageSize, amount = PackagePrice},
  	OfferId = add_offer([P1], 4),
  	receive
  		Input1 ->
  			{struct, OfferEvent} = mochijson:decode(Input1),
  			{_, "ProductOfferingCreationNotification"}
  					= lists:keyfind("eventType", 1, OfferEvent)
  	end,
  	{ok, #product{id = ProdRef}} = ocs:add_product(OfferId, [], []),
  	receive
  		Input2 ->
  			{struct, ProductEvent} = mochijson:decode(Input2),
  			{_, {struct, ProductList}} = lists:keyfind("event", 1, ProductEvent),
  			{_, ProdRef} = lists:keyfind("id", 1, ProductList)
  	end,
  