anchor.diff:  
   start_test_() ->
       {
  -      "When GenRS is loaded and started, then the supervision tree must be built, and the following process must have been started: `genrs_server`, `service_manager`, `service_stats_provider` and `rh`",
  -      {setup, 
  -       fun() -> ?MODULE:start() end,
  -       fun ?MODULE:after_each/1,
  -       fun(Actual) ->
  -	       [
  -		?_assertEqual(ok, Actual),
  -		?_assertMatch(P when true == is_pid(P), whereis(?server)),
  -		?_assertMatch(P when true == is_pid(P), whereis(?sm)),
  -		?_assertMatch(P when true == is_pid(P), whereis(?ssp)),
  -		?_assertMatch(P when true == is_pid(P), whereis(?rh))
  -	       ]
  -       end
  +      "When GenRS is loaded and started, then the Supervision Tree must be built, and the following process must have been started: `genrs_server`, `service_manager`, `service_stats_provider` and `rh`",
  +      {
  +	setup, 
  +	fun() -> ?MODULE:start() end,
  +	fun ?MODULE:after_each/1,
  +	fun(Actual) ->
  +		[
  +		 ?_assertEqual(ok, Actual),
  +		 ?_assertMatch(P when true == is_pid(P), whereis(?server)),
  +		 ?_assertMatch(P when true == is_pid(P), whereis(?sm)),
  +		 ?_assertMatch(P when true == is_pid(P), whereis(?ssp)),
  +		 ?_assertMatch(P when true == is_pid(P), whereis(?rh))
  +		]
  +	end
         }
       }.
   
  
positive.code: 		?_assertEqual(#ok{more={'free up success', term_to_binary(?rs)}}, Actual) end
        }
      }.
  
negative.code:       }
      }.
  
  %%% This Test Case also implicitly tests alloc success.
  freeup_test_() ->
      {
        "When client asks to free up a resource which is allocated, then GenRS must free up the resource",
  