anchor.diff:  inventory([characteristics | T],
   		#service{characteristics = []} = Service, Chars, Acc) ->
   	inventory(T, Service, Chars, Acc);
  -inventory([characteristics | T], #service{characteristics = Chars1} =
  -		Service, Chars2, Acc) ->
  +inventory([characteristics | T], #service{characteristics = Chars2} =
  +		Service, Chars1, Acc) ->
   	NewChars = Chars1 ++ Chars2,
   	inventory(T, Service, NewChars, Acc);
   inventory([_ | T], Service, Chars, Acc) ->
  
positive.code: 	Value6 = {"serviceSpecCharacteristicValue", {array, [{struct, [Type6]}]}},
  	Char6 = {struct, [Name6, Description6, Config6, Type6, Value6]},
  	Name7 = {"name", "serviceAkak"},
  	Description7 = {"description",
  			"Service k."},
  	Config7 = {"configurable", true},
  	Type7 = {"valueType", "String"},
  	Value7 = {"serviceSpecCharacteristicValue", {array, [{struct, [Type7]}]}},
  	Char7 = {struct, [Name7, Description7, Config7, Type7, Value7]},
  	Name8 = {"name", "serviceAkaOPc"},
  	Description8 = {"description",
  			"Service OPc."},
  	Config8 = {"configurable", true},
  	Type8 = {"valueType", "String"},
  	Value8 = {"serviceSpecCharacteristicValue", {array, [{struct, [Type8]}]}},
  
negative.code: 		{_, V2} ->
  			list_to_binary(V2);
  		false ->
  			case lists:keyfind("serviceAkaK", 1, Chars) of
  				{_, K} ->
  					case lists:keyfind("serviceAkaOPc", 1, Chars) of
  						{_, OPc} ->
  							#aka_cred{k = K, opc = OPc};
  						false ->
  							undefined
  					end;
  				false ->
  					undefined
  			end
  	end,
  	MultiSession = F1("multiSession", Chars),
  	A1 = case F1("sessionTimeout", Chars) of
  