anchor.diff:                      false
               end
       end.
  +
  +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  +%
  +% utility functions
  +%
  +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  +
  +obfuscated_intervals_all() ->
  +    [{interval,'(',0,5,']'},
  +     {element,0},
  +     {interval,'(',5,340282366920938463463374607431768211456,')'}
  +    ].
  
positive.code:                   l_on_cseq:set_timeout(
                      l_on_cseq:set_version(
                        l_on_cseq:set_epoch(Old, l_on_cseq:get_epoch(Old)+1),
                      0)),
                    other_range)
          end,
      WaitF = fun wait_for_epoch_update/2,
      test_renew_helper(_Config, ModifyF, WaitF),
  
negative.code:                 l_on_cseq:unittest_lease_update(Lease, New)
          end,
      NullF = fun (_Id, _Lease) -> ok end,
      WaitRightLeaseF = fun (Id, Lease) -> ok end,
                              % we cannot read the left lease anymore, because
                              % consistent routing will prevent the delivery of
                              % messages
      %fun (Id, Lease) ->
      %        OldEpoch = l_on_cseq:get_epoch(Lease),
      %        wait_for_lease_version(Id, OldEpoch + 1, 0)
      %end,
      WaitLeftLeaseF = fun wait_for_delete/1,
      FinalWaitF = fun wait_for_split_fail_msg/0,
      test_split_helper_for_3_steps(Config,
  