Parsed test spec with 2 sessions

starting permutation: a_acq a_release b_acq a_ren_stale a_rel_stale 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_ren_stale: SELECT status FROM lease.renew('k', 'alice', 1, interval '1h');
status   
---------
not_owner
(1 row)

step a_rel_stale: SELECT status FROM lease.release('k', 'alice', 1);
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_acq a_ren_stale b_renew 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_ren_stale: SELECT status FROM lease.renew('k', 'alice', 1, interval '1h');
status   
---------
not_owner
(1 row)

step b_renew: SELECT status FROM lease.renew('k', 'bob', 3, interval '1h');
status
------
ok    
(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_acq a_reacq 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_reacq: SELECT acquired, epoch FROM lease.acquire('k', 'alice', interval '1h');
acquired|epoch
--------+-----
f       |     
(1 row)

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