Parsed test spec with 2 sessions

starting permutation: a_acq_x b_acq_y a_rel_x b_rel_y a_acq_x2 b_acq_y2
step a_acq_x: SELECT acquired, epoch FROM lease.acquire('x', 'alice', interval '1h');
acquired|epoch
--------+-----
t       |    1
(1 row)

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

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

step b_rel_y: SELECT status FROM lease.release('y', 'bob', 1);
status
------
ok    
(1 row)

step a_acq_x2: SELECT acquired, epoch FROM lease.acquire('x', 'alice', interval '1h');
acquired|epoch
--------+-----
t       |    3
(1 row)

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


starting permutation: b_acq_y b_rel_y a_acq_x a_rel_x b_acq_y2 a_acq_x2
step b_acq_y: SELECT acquired, epoch FROM lease.acquire('y', 'bob', interval '1h');
acquired|epoch
--------+-----
t       |    1
(1 row)

step b_rel_y: SELECT status FROM lease.release('y', 'bob', 1);
status
------
ok    
(1 row)

step a_acq_x: SELECT acquired, epoch FROM lease.acquire('x', 'alice', interval '1h');
acquired|epoch
--------+-----
t       |    1
(1 row)

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

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

step a_acq_x2: SELECT acquired, epoch FROM lease.acquire('x', 'alice', interval '1h');
acquired|epoch
--------+-----
t       |    3
(1 row)