anchor.diff:                      false
               end
       end.
  +
  +- spec id(intervals:interval()) -> non_neg_integer().
  +id([]) -> 0;
  +id([[]]) -> 0;
  +id(X) ->
  +    case lists:member(all, X) of
  +        true -> 0;
  +        _ ->
  +            {_, Id, _, _} = intervals:get_bounds(X),
  +            Id
  +    end.
  
positive.code: -include("client_types.hrl").
  
  all()   -> [
              test_renew_with_concurrent_renew,
              test_renew_with_concurrent_owner_change,
              test_renew_with_concurrent_range_change,
              test_renew_with_concurrent_aux_change_invalid_split,
              test_renew_with_concurrent_aux_change_valid_split,
              test_renew_with_concurrent_aux_change_invalid_merge,
              test_renew_with_concurrent_aux_change_invalid_merge_stopped,
              test_renew_with_concurrent_aux_change_valid_merge
             ].
  suite() -> [ {timetrap, {seconds, 400}} ].
  
  
negative.code: 
  block_trigger(Pid) ->
      fun (Message, _State) ->
              case Message of
                  {l_on_cseq, renew_leases} ->
                      comm:send_local(Pid, Message),
  