Parsed test spec with 3 sessions

starting permutation: a_acq b_acq c_acq a_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 c_acq: SELECT acquired, epoch FROM lease.acquire('k', 'carol', interval '1h');
acquired|epoch
--------+-----
f       |     
(1 row)

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


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

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

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

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


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

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

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

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