anchor.diff:  
   -spec get_lease_list() -> lease_list:lease_list().
   get_lease_list() ->
  -    comm:send_local(get_mock_pid(), {get_lease_list, self()}),
  +    comm:send_local(get_mock_pid(), {get, lease_list, self()}),
       receive
  -        {get_lease_list_response, List} ->
  +        {get_response, List} ->
                List
       end.
   
  
positive.code: get_mock_pid() ->
      pid_groups:find_a(?MODULE).
  
  -spec new_mock_state() -> mock_state_t().
  new_mock_state() ->
      #mock_state{renewal_enabled = true,
                  renewal_counter = 0}.
  
  -spec increment_renewal_counter(mock_state_t()) -> mock_state_t().
  increment_renewal_counter(#mock_state{renewal_counter=Counter} = MockState) ->
      MockState#mock_state{renewal_counter = Counter+1}.
  
  -spec get_renewal_counter(mock_state_t()) -> non_neg_integer().
  get_renewal_counter(#mock_state{renewal_counter=Counter}) ->
      Counter.
  
negative.code: 
  % public api
  -export([get_renewal_counter/0, get_lease_list/0]).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  % public API
  