anchor.diff:  	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
  -		Input1 ->
  -			{struct, ProductEvent} = mochijson:decode(Input1),
  +		Input2 ->
  +			{struct, ProductEvent} = mochijson:decode(Input2),
   			{_, {struct, ProductList}} = lists:keyfind("event", 1, ProductEvent),
   			{_, ProdRef} = lists:keyfind("id", 1, ProductList)
   	end,
   	{ok, #service{name = ServiceId}} = ocs:add_service(ocs:generate_identity(),
   			ocs:generate_password(), ProdRef, []),
   	receive
  -		Input2 ->
  -			{struct, ServiceEvent} = mochijson:decode(Input2),
  +		Input3 ->
  +			{struct, ServiceEvent} = mochijson:decode(Input3),
   			{_, {struct, ServiceList}} = lists:keyfind("event", 1, ServiceEvent),
   			ListServiceId = binary_to_list(ServiceId),
   			{_, ListServiceId} = lists:keyfind("id", 1, ServiceList)
  
positive.code: 			undefined, ServiceId, Timestamp, undefined, undefined, initial,
  			[], [{octets, PackageSize}], SessionId),
  	AccBalanceStructs = receive
  		Input6 ->
  			{struct, AccBalanceEvent} = mochijson:decode(Input6),
  			{_, "AccumulatedBalanceCreationNotification"}
  					= lists:keyfind("eventType", 1, AccBalanceEvent),
  			{_, {array, AccStructList}}
  
negative.code: 			end_date = erlang:system_time(?MILLISECOND) + 2592000000},
  	{ok, _, #bucket{id = BId2}} = ocs:add_bucket(ProdId, B2),
  	receive
  		Input4 ->
  			{struct, BalanceEvent2} = mochijson:decode(Input4),
  			{_, "BucketBalanceCreationNotification"}
  					= lists:keyfind("eventType", 1, BalanceEvent2),
  			{_, {struct, BalanceList2}} = lists:keyfind("event", 1, BalanceEvent2),
  