Parsed test spec with 2 sessions

starting permutation: begin_a a_acq_txn b_acq abort_a ins
step begin_a: BEGIN;
step a_acq_txn: 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'); <waiting ...>
step abort_a: ROLLBACK;
step b_acq: <... completed>
acquired|epoch
--------+-----
t       |    1
(1 row)

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


starting permutation: begin_a a_acq_txn b_acq commit_a ins
step begin_a: BEGIN;
step a_acq_txn: 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'); <waiting ...>
step commit_a: COMMIT;
step b_acq: <... completed>
acquired|epoch
--------+-----
f       |     
(1 row)

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