Parsed test spec with 2 sessions

starting permutation: a_acq b_acq a_renew1 ins
step a_acq: SELECT acquired, epoch FROM lease.acquire('k', 'alice', interval '1h');
acquired|epoch
--------+-----
t       |    1
(1 row)

step b_acq: SELECT acquired, epoch FROM lease.acquire('k', 'bob', interval '1h');
acquired|epoch
--------+-----
f       |     
(1 row)

step a_renew1: SELECT status FROM lease.renew('k', 'alice', 1, interval '1h');
status
------
ok    
(1 row)

step ins: SELECT held, owner, epoch FROM lease.inspect('k');
held|owner|epoch
----+-----+-----
t   |alice|    1
(1 row)


starting permutation: a_acq b_renew1 a_release ins
step a_acq: SELECT acquired, epoch FROM lease.acquire('k', 'alice', interval '1h');
acquired|epoch
--------+-----
t       |    1
(1 row)

step b_renew1: SELECT status FROM lease.renew('k', 'bob', 1, interval '1h');
status   
---------
not_owner
(1 row)

step a_release: SELECT status FROM lease.release('k', 'alice', 1);
status
------
ok    
(1 row)

step ins: SELECT held, owner, epoch FROM lease.inspect('k');
held|owner|epoch
----+-----+-----
f   |     |    2
(1 row)


starting permutation: a_acq a_release b_acq a_renew1 ins
step a_acq: SELECT acquired, epoch FROM lease.acquire('k', 'alice', interval '1h');
acquired|epoch
--------+-----
t       |    1
(1 row)

step a_release: SELECT status FROM lease.release('k', 'alice', 1);
status
------
ok    
(1 row)

step b_acq: SELECT acquired, epoch FROM lease.acquire('k', 'bob', interval '1h');
acquired|epoch
--------+-----
t       |    3
(1 row)

step a_renew1: SELECT status FROM lease.renew('k', 'alice', 1, interval '1h');
status   
---------
not_owner
(1 row)

step ins: SELECT held, owner, epoch FROM lease.inspect('k');
held|owner|epoch
----+-----+-----
t   |bob  |    3
(1 row)


starting permutation: a_acq a_release b_renew1 ins
step a_acq: SELECT acquired, epoch FROM lease.acquire('k', 'alice', interval '1h');
acquired|epoch
--------+-----
t       |    1
(1 row)

step a_release: SELECT status FROM lease.release('k', 'alice', 1);
status
------
ok    
(1 row)

step b_renew1: SELECT status FROM lease.renew('k', 'bob', 1, interval '1h');
status   
---------
not_owner
(1 row)

step ins: SELECT held, owner, epoch FROM lease.inspect('k');
held|owner|epoch
----+-----+-----
f   |     |    2
(1 row)


starting permutation: a_acq b_acq a_release b_renew1 ins
step a_acq: SELECT acquired, epoch FROM lease.acquire('k', 'alice', interval '1h');
acquired|epoch
--------+-----
t       |    1
(1 row)

step b_acq: SELECT acquired, epoch FROM lease.acquire('k', 'bob', interval '1h');
acquired|epoch
--------+-----
f       |     
(1 row)

step a_release: SELECT status FROM lease.release('k', 'alice', 1);
status
------
ok    
(1 row)

step b_renew1: SELECT status FROM lease.renew('k', 'bob', 1, interval '1h');
status   
---------
not_owner
(1 row)

step ins: SELECT held, owner, epoch FROM lease.inspect('k');
held|owner|epoch
----+-----+-----
f   |     |    2
(1 row)