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: 		 genrs:alloc(),
  		 receive
  		     _ ->
  			 ok
  		 end,
  		 genrs:freeup(term_to_binary(?rs)),
  		 receive
  
negative.code: after_each(_) ->
      ?MODULE:stop().
  
  freeup_resource_has_not_been_allocated_test_() ->
      {
        "When Server receives protocol 'freeup' and a resource name and the resource has not been allocated, then Server must reply with an error message",
        {
  