anchor.diff:  
   %% define service table entries record
   -record(service,
  -		{name :: binary() | undefined,
  +		{id :: string() | undefined,
  +		name :: binary() | undefined,
  +		start_date :: pos_integer() | undefined,
  +		termination_date :: pos_integer() | undefined,
  +		state :: service_status() | undefined,
   		password :: binary() | undefined,
   		attributes :: [tuple()] | undefined,
   		product :: ProductRef :: string() | undefined,
  -		state :: service_status() | undefined,
   		enabled = true :: boolean(),
   		disconnect  = false :: boolean(),
   		session_attributes = [] :: [{TS :: pos_integer(), Attributes :: [tuple()]}],
  
positive.code: -record(product,
  		{id :: string() | undefined,
  		name :: string() | undefined,
  		product :: string() | undefined,
  		start_date :: pos_integer() | undefined,
  		termination_date :: pos_integer() | undefined,
  		status :: product_status() | undefined,
  		characteristics = [] :: [{Name :: string(), Value :: term()}],
  		payment = [] :: [{Price :: string(), DueDate :: pos_integer()}],
  		balance = [] :: [BucketRef :: term()],
  
negative.code: 
  -type offer_status() :: in_study | in_design | in_test
  		| active | rejected | launched | retired | obsolete.
  -type bucket_status() :: active | expired | suspended.
  -type product_status() :: created | pending_active | aborted
  		| cancelled | active | suspended | pending_terminate | terminated.
  -type service_status() :: feasibilityChecked | designed | reserved
  