anchor.diff:          end,
       NullF = fun (_Id, _Lease) -> ok end,
       WaitRightLeaseF = fun wait_for_delete/2,
  -    WaitLeftLeaseF = fun (Id) ->
  -                             wait_for_lease_version(Id, 1, 0)
  -                      end,
  +    WaitLeftLeaseF = fun (_Id) -> ok end,
  +                            % we cannot read the left lease anymore, because
  +                            % consistent routing will prevent the delivery of
  +                            % messages
  +
  +    %fun (Id) ->
  +    %        wait_for_lease_version(Id, 1, 0)
  +    %end,
       FinalWaitF = fun wait_for_split_fail_msg/0,
       test_split_helper_for_2_steps(_Config,
                                     NullF, ChangeOwnerF,
  
positive.code: 
  wait_for_lease_helper(Id, F) ->
      wait_for(fun () ->
                       case l_on_cseq:read(Id) of
                           {ok, Lease} ->
                               F(Lease);
  
negative.code:                     false
              end
      end.
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  %
  % utility functions
  %
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  obfuscated_intervals_all() ->
      [{interval,'(',0,5,']'},
       {element,0},
       {interval,'(',5,340282366920938463463374607431768211456,')'}
      ].
  