Parsed test spec with 4 sessions

starting permutation: dist11-begin dist13-begin dist11-update dist13-update detector-dump-wait-edges dist11-abort dist13-abort
step dist11-begin:
    BEGIN;
    SELECT assign_distributed_transaction_id(11, 1, '2017-01-01 00:00:00+0');

assign_distributed_transaction_id
---------------------------------------------------------------------

(1 row)

step dist13-begin:
    BEGIN;
    SELECT assign_distributed_transaction_id(13, 1, '2017-01-01 00:00:00+0');

assign_distributed_transaction_id
---------------------------------------------------------------------

(1 row)

step dist11-update:
    UPDATE local_table SET y = 1 WHERE x = 1;

step dist13-update:
    UPDATE local_table SET y = 3 WHERE x = 1;
 <waiting ...>
step detector-dump-wait-edges: 
    SELECT
        waiting_node_id,
        waiting_transaction_num,
        blocking_node_id,
        blocking_transaction_num,
        blocking_transaction_waiting
    FROM
        dump_local_wait_edges()
    ORDER BY
        waiting_node_id,
        blocking_transaction_num,
        blocking_transaction_waiting;

waiting_node_id|waiting_transaction_num|blocking_node_id|blocking_transaction_num|blocking_transaction_waiting
---------------------------------------------------------------------
             13|                      1|              11|                       1|f
(1 row)

step dist11-abort:
    ABORT;

step dist13-update: <... completed>
step dist13-abort:
    ABORT;


starting permutation: local-begin dist13-begin local-update dist13-update detector-dump-wait-edges local-abort dist13-abort
step local-begin:
    BEGIN;

step dist13-begin:
    BEGIN;
    SELECT assign_distributed_transaction_id(13, 1, '2017-01-01 00:00:00+0');

assign_distributed_transaction_id
---------------------------------------------------------------------

(1 row)

step local-update:
    UPDATE local_table SET y = 2 WHERE x = 1;

step dist13-update:
    UPDATE local_table SET y = 3 WHERE x = 1;
 <waiting ...>
step detector-dump-wait-edges: 
    SELECT
        waiting_node_id,
        waiting_transaction_num,
        blocking_node_id,
        blocking_transaction_num,
        blocking_transaction_waiting
    FROM
        dump_local_wait_edges()
    ORDER BY
        waiting_node_id,
        blocking_transaction_num,
        blocking_transaction_waiting;

waiting_node_id|waiting_transaction_num|blocking_node_id|blocking_transaction_num|blocking_transaction_waiting
---------------------------------------------------------------------
             13|                      1|               0|                        |f
(1 row)

step local-abort:
    ABORT;

step dist13-update: <... completed>
step dist13-abort:
    ABORT;


starting permutation: dist11-begin local-begin dist13-begin dist11-update local-update dist13-update detector-dump-wait-edges dist11-abort local-abort dist13-abort
step dist11-begin:
    BEGIN;
    SELECT assign_distributed_transaction_id(11, 1, '2017-01-01 00:00:00+0');

assign_distributed_transaction_id
---------------------------------------------------------------------

(1 row)

step local-begin:
    BEGIN;

step dist13-begin:
    BEGIN;
    SELECT assign_distributed_transaction_id(13, 1, '2017-01-01 00:00:00+0');

assign_distributed_transaction_id
---------------------------------------------------------------------

(1 row)

step dist11-update:
    UPDATE local_table SET y = 1 WHERE x = 1;

step local-update:
    UPDATE local_table SET y = 2 WHERE x = 1;
 <waiting ...>
step dist13-update: 
    UPDATE local_table SET y = 3 WHERE x = 1;
 <waiting ...>
step detector-dump-wait-edges: 
    SELECT
        waiting_node_id,
        waiting_transaction_num,
        blocking_node_id,
        blocking_transaction_num,
        blocking_transaction_waiting
    FROM
        dump_local_wait_edges()
    ORDER BY
        waiting_node_id,
        blocking_transaction_num,
        blocking_transaction_waiting;

waiting_node_id|waiting_transaction_num|blocking_node_id|blocking_transaction_num|blocking_transaction_waiting
---------------------------------------------------------------------
              0|                       |              11|                       1|f
             13|                      1|               0|                        |t
(2 rows)

step dist11-abort:
    ABORT;

step local-update: <... completed>
step local-abort:
    ABORT;

step dist13-update: <... completed>
step dist13-abort:
    ABORT;