anchor.diff:  		TestCase == notify_delete_bucket;
   		TestCase == notify_rating_deleted_bucket;
   		TestCase == notify_accumulated_balance; TestCase == notify_product_charge;
  -		TestCase == notify_accumulated_threshold;
  +		TestCase == notify_accumulated_threshold; TestCase == notify_query_bucket;
   		TestCase == notify_create_product; TestCase == notify_delete_product;
   		TestCase == notify_query_product;
   		TestCase == notify_create_service; TestCase == notify_delete_service;
  
positive.code: notifyproductcharge(SessionID, _Env, Input) ->
  	mod_esi:deliver(SessionID, "status: 201 Created\r\n\r\n"),
  	notify_product_charge ! Input.
  
  -spec notifycreateproduct(SessionID :: term(), Env :: list(),
  		Input :: string()) -> any().
  
negative.code: 	post_hub_balance, delete_hub_balance, notify_create_bucket,
  	notify_delete_bucket, notify_rating_deleted_bucket,
  	notify_accumulated_balance, notify_accumulated_threshold,
  	notify_query_bucket,
  	post_hub_product, delete_hub_product, notify_create_product,
  	notify_delete_product, notify_query_product, post_hub_service,
  	delete_hub_service,
  