Reject isolation test specifications with duplicate step names.

alter-table-1.spec has such a case, so change one instance of step
rx1 to rx3 instead.

diff --git a/src/test/isolation/expected/alter-table-1.out b/src/test/isolation/expected/alter-table-1.out
index 9daa418648979ed052734db14498bad09b22065b..61812e6fc42843761ea1a20362bade0f8aa434dd 100644 (file)
--- a/src/test/isolation/expected/alter-table-1.out
+++ b/src/test/isolation/expected/alter-table-1.out
@@ -1,6 +1,6 @@
 Parsed test spec with 2 sessions
 
-starting permutation: s1 at1 sc1 s2 at2 sc2 rx1 wx rx1 c2
+starting permutation: s1 at1 sc1 s2 at2 sc2 rx1 wx rx3 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -12,7 +12,7 @@ a_id
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -20,7 +20,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 s2 at2 rx1 sc2 wx rx1 c2
+starting permutation: s1 at1 sc1 s2 at2 rx1 sc2 wx rx3 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -32,7 +32,7 @@ a_id
 1              
 step sc2: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -40,7 +40,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 s2 at2 rx1 wx sc2 rx1 c2
+starting permutation: s1 at1 sc1 s2 at2 rx1 wx sc2 rx3 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -52,7 +52,7 @@ a_id
 1              
 step wx: INSERT INTO b VALUES (0);
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -60,7 +60,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 s2 at2 rx1 wx rx1 sc2 c2
+starting permutation: s1 at1 sc1 s2 at2 rx1 wx rx3 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -71,7 +71,7 @@ a_id
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -80,7 +80,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 s2 at2 rx1 wx rx1 c2 sc2
+starting permutation: s1 at1 sc1 s2 at2 rx1 wx rx3 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -91,7 +91,7 @@ a_id
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -100,7 +100,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 sc1 s2 rx1 at2 sc2 wx rx1 c2
+starting permutation: s1 at1 sc1 s2 rx1 at2 sc2 wx rx3 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -112,7 +112,7 @@ a_id
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -120,7 +120,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 s2 rx1 at2 wx sc2 rx1 c2
+starting permutation: s1 at1 sc1 s2 rx1 at2 wx sc2 rx3 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -132,7 +132,7 @@ a_id
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step wx: INSERT INTO b VALUES (0);
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -140,7 +140,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 s2 rx1 at2 wx rx1 sc2 c2
+starting permutation: s1 at1 sc1 s2 rx1 at2 wx rx3 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -151,7 +151,7 @@ a_id
 1              
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -160,7 +160,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 s2 rx1 at2 wx rx1 c2 sc2
+starting permutation: s1 at1 sc1 s2 rx1 at2 wx rx3 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -171,7 +171,7 @@ a_id
 1              
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -180,7 +180,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 sc1 s2 rx1 wx at2 sc2 rx1 c2
+starting permutation: s1 at1 sc1 s2 rx1 wx at2 sc2 rx3 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -192,7 +192,7 @@ a_id
 step wx: INSERT INTO b VALUES (0);
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -200,7 +200,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 s2 rx1 wx at2 rx1 sc2 c2
+starting permutation: s1 at1 sc1 s2 rx1 wx at2 rx3 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -211,7 +211,7 @@ a_id
 1              
 step wx: INSERT INTO b VALUES (0);
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -220,7 +220,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 s2 rx1 wx at2 rx1 c2 sc2
+starting permutation: s1 at1 sc1 s2 rx1 wx at2 rx3 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -231,7 +231,7 @@ a_id
 1              
 step wx: INSERT INTO b VALUES (0);
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -240,7 +240,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 sc1 s2 rx1 wx rx1 at2 sc2 c2
+starting permutation: s1 at1 sc1 s2 rx1 wx rx3 at2 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -250,7 +250,7 @@ a_id
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -260,7 +260,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 s2 rx1 wx rx1 at2 c2 sc2
+starting permutation: s1 at1 sc1 s2 rx1 wx rx3 at2 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -270,7 +270,7 @@ a_id
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -280,7 +280,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 sc1 s2 rx1 wx rx1 c2 at2 sc2
+starting permutation: s1 at1 sc1 s2 rx1 wx rx3 c2 at2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -290,7 +290,7 @@ a_id
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -300,7 +300,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 s2 at2 sc2 wx rx1 c2
+starting permutation: s1 at1 sc1 rx1 s2 at2 sc2 wx rx3 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -312,7 +312,7 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -320,7 +320,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 s2 at2 wx sc2 rx1 c2
+starting permutation: s1 at1 sc1 rx1 s2 at2 wx sc2 rx3 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -332,7 +332,7 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step wx: INSERT INTO b VALUES (0);
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -340,7 +340,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 s2 at2 wx rx1 sc2 c2
+starting permutation: s1 at1 sc1 rx1 s2 at2 wx rx3 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -351,7 +351,7 @@ a_id
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -360,7 +360,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 s2 at2 wx rx1 c2 sc2
+starting permutation: s1 at1 sc1 rx1 s2 at2 wx rx3 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -371,7 +371,7 @@ a_id
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -380,7 +380,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 s2 wx at2 sc2 rx1 c2
+starting permutation: s1 at1 sc1 rx1 s2 wx at2 sc2 rx3 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -392,7 +392,7 @@ step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -400,7 +400,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 s2 wx at2 rx1 sc2 c2
+starting permutation: s1 at1 sc1 rx1 s2 wx at2 rx3 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -411,7 +411,7 @@ a_id
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -420,7 +420,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 s2 wx at2 rx1 c2 sc2
+starting permutation: s1 at1 sc1 rx1 s2 wx at2 rx3 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -431,7 +431,7 @@ a_id
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -440,7 +440,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 s2 wx rx1 at2 sc2 c2
+starting permutation: s1 at1 sc1 rx1 s2 wx rx3 at2 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -450,7 +450,7 @@ a_id
 1              
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -460,7 +460,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 s2 wx rx1 at2 c2 sc2
+starting permutation: s1 at1 sc1 rx1 s2 wx rx3 at2 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -470,7 +470,7 @@ a_id
 1              
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -480,7 +480,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 s2 wx rx1 c2 at2 sc2
+starting permutation: s1 at1 sc1 rx1 s2 wx rx3 c2 at2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -490,7 +490,7 @@ a_id
 1              
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -500,7 +500,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 wx s2 at2 sc2 rx1 c2
+starting permutation: s1 at1 sc1 rx1 wx s2 at2 sc2 rx3 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -512,7 +512,7 @@ step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -520,7 +520,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 wx s2 at2 rx1 sc2 c2
+starting permutation: s1 at1 sc1 rx1 wx s2 at2 rx3 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -531,7 +531,7 @@ a_id
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -540,7 +540,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 wx s2 at2 rx1 c2 sc2
+starting permutation: s1 at1 sc1 rx1 wx s2 at2 rx3 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -551,7 +551,7 @@ a_id
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -560,7 +560,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 wx s2 rx1 at2 sc2 c2
+starting permutation: s1 at1 sc1 rx1 wx s2 rx3 at2 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -570,7 +570,7 @@ a_id
 1              
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -580,7 +580,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 wx s2 rx1 at2 c2 sc2
+starting permutation: s1 at1 sc1 rx1 wx s2 rx3 at2 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -590,7 +590,7 @@ a_id
 1              
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -600,7 +600,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 wx s2 rx1 c2 at2 sc2
+starting permutation: s1 at1 sc1 rx1 wx s2 rx3 c2 at2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -610,7 +610,7 @@ a_id
 1              
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -620,7 +620,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 wx rx1 s2 at2 sc2 c2
+starting permutation: s1 at1 sc1 rx1 wx rx3 s2 at2 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -629,7 +629,7 @@ a_id
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -640,7 +640,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 wx rx1 s2 at2 c2 sc2
+starting permutation: s1 at1 sc1 rx1 wx rx3 s2 at2 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -649,7 +649,7 @@ a_id
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -660,7 +660,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 wx rx1 s2 c2 at2 sc2
+starting permutation: s1 at1 sc1 rx1 wx rx3 s2 c2 at2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -669,7 +669,7 @@ a_id
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -680,7 +680,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 sc1 rx1 wx rx1 c2 s2 at2 sc2
+starting permutation: s1 at1 sc1 rx1 wx rx3 c2 s2 at2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
@@ -689,7 +689,7 @@ a_id
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -700,7 +700,7 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 s2 at2 sc2 wx rx1 c2
+starting permutation: s1 at1 rx1 sc1 s2 at2 sc2 wx rx3 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -712,7 +712,7 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -720,7 +720,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 s2 at2 wx sc2 rx1 c2
+starting permutation: s1 at1 rx1 sc1 s2 at2 wx sc2 rx3 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -732,7 +732,7 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step wx: INSERT INTO b VALUES (0);
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -740,7 +740,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 s2 at2 wx rx1 sc2 c2
+starting permutation: s1 at1 rx1 sc1 s2 at2 wx rx3 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -751,7 +751,7 @@ step sc1: COMMIT;
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -760,7 +760,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 s2 at2 wx rx1 c2 sc2
+starting permutation: s1 at1 rx1 sc1 s2 at2 wx rx3 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -771,7 +771,7 @@ step sc1: COMMIT;
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -780,7 +780,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 s2 wx at2 sc2 rx1 c2
+starting permutation: s1 at1 rx1 sc1 s2 wx at2 sc2 rx3 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -792,7 +792,7 @@ step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -800,7 +800,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 s2 wx at2 rx1 sc2 c2
+starting permutation: s1 at1 rx1 sc1 s2 wx at2 rx3 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -811,7 +811,7 @@ step sc1: COMMIT;
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -820,7 +820,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 s2 wx at2 rx1 c2 sc2
+starting permutation: s1 at1 rx1 sc1 s2 wx at2 rx3 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -831,7 +831,7 @@ step sc1: COMMIT;
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -840,7 +840,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 s2 wx rx1 at2 sc2 c2
+starting permutation: s1 at1 rx1 sc1 s2 wx rx3 at2 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -850,7 +850,7 @@ a_id
 step sc1: COMMIT;
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -860,7 +860,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 s2 wx rx1 at2 c2 sc2
+starting permutation: s1 at1 rx1 sc1 s2 wx rx3 at2 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -870,7 +870,7 @@ a_id
 step sc1: COMMIT;
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -880,7 +880,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 s2 wx rx1 c2 at2 sc2
+starting permutation: s1 at1 rx1 sc1 s2 wx rx3 c2 at2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -890,7 +890,7 @@ a_id
 step sc1: COMMIT;
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -900,7 +900,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 wx s2 at2 sc2 rx1 c2
+starting permutation: s1 at1 rx1 sc1 wx s2 at2 sc2 rx3 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -912,7 +912,7 @@ step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -920,7 +920,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 wx s2 at2 rx1 sc2 c2
+starting permutation: s1 at1 rx1 sc1 wx s2 at2 rx3 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -931,7 +931,7 @@ step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -940,7 +940,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 wx s2 at2 rx1 c2 sc2
+starting permutation: s1 at1 rx1 sc1 wx s2 at2 rx3 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -951,7 +951,7 @@ step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -960,7 +960,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 wx s2 rx1 at2 sc2 c2
+starting permutation: s1 at1 rx1 sc1 wx s2 rx3 at2 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -970,7 +970,7 @@ a_id
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -980,7 +980,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 wx s2 rx1 at2 c2 sc2
+starting permutation: s1 at1 rx1 sc1 wx s2 rx3 at2 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -990,7 +990,7 @@ a_id
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1000,7 +1000,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 wx s2 rx1 c2 at2 sc2
+starting permutation: s1 at1 rx1 sc1 wx s2 rx3 c2 at2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1010,7 +1010,7 @@ a_id
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1020,7 +1020,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 wx rx1 s2 at2 sc2 c2
+starting permutation: s1 at1 rx1 sc1 wx rx3 s2 at2 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1029,7 +1029,7 @@ a_id
 1              
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1040,7 +1040,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 wx rx1 s2 at2 c2 sc2
+starting permutation: s1 at1 rx1 sc1 wx rx3 s2 at2 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1049,7 +1049,7 @@ a_id
 1              
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1060,7 +1060,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 wx rx1 s2 c2 at2 sc2
+starting permutation: s1 at1 rx1 sc1 wx rx3 s2 c2 at2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1069,7 +1069,7 @@ a_id
 1              
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1080,7 +1080,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 rx1 sc1 wx rx1 c2 s2 at2 sc2
+starting permutation: s1 at1 rx1 sc1 wx rx3 c2 s2 at2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1089,7 +1089,7 @@ a_id
 1              
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1100,7 +1100,7 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 rx1 wx sc1 s2 at2 sc2 rx1 c2
+starting permutation: s1 at1 rx1 wx sc1 s2 at2 sc2 rx3 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1113,7 +1113,7 @@ step wx: <... completed>
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1121,7 +1121,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 at1 rx1 wx sc1 s2 at2 rx1 sc2 c2
+starting permutation: s1 at1 rx1 wx sc1 s2 at2 rx3 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1133,7 +1133,7 @@ step sc1: COMMIT;
 step wx: <... completed>
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1142,7 +1142,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 rx1 wx sc1 s2 at2 rx1 c2 sc2
+starting permutation: s1 at1 rx1 wx sc1 s2 at2 rx3 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1154,7 +1154,7 @@ step sc1: COMMIT;
 step wx: <... completed>
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1163,7 +1163,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 rx1 wx sc1 s2 rx1 at2 sc2 c2
+starting permutation: s1 at1 rx1 wx sc1 s2 rx3 at2 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1174,7 +1174,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1184,7 +1184,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 rx1 wx sc1 s2 rx1 at2 c2 sc2
+starting permutation: s1 at1 rx1 wx sc1 s2 rx3 at2 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1195,7 +1195,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1205,7 +1205,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 rx1 wx sc1 s2 rx1 c2 at2 sc2
+starting permutation: s1 at1 rx1 wx sc1 s2 rx3 c2 at2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1216,7 +1216,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1226,7 +1226,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 rx1 wx sc1 rx1 s2 at2 sc2 c2
+starting permutation: s1 at1 rx1 wx sc1 rx3 s2 at2 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1236,7 +1236,7 @@ a_id
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1247,7 +1247,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 at1 rx1 wx sc1 rx1 s2 at2 c2 sc2
+starting permutation: s1 at1 rx1 wx sc1 rx3 s2 at2 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1257,7 +1257,7 @@ a_id
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1268,7 +1268,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 rx1 wx sc1 rx1 s2 c2 at2 sc2
+starting permutation: s1 at1 rx1 wx sc1 rx3 s2 c2 at2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1278,7 +1278,7 @@ a_id
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1289,7 +1289,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 rx1 wx sc1 rx1 c2 s2 at2 sc2
+starting permutation: s1 at1 rx1 wx sc1 rx3 c2 s2 at2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1299,7 +1299,7 @@ a_id
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1310,7 +1310,7 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 at1 rx1 wx rx1 sc1 s2 at2 sc2 c2
+starting permutation: s1 at1 rx1 wx rx3 sc1 s2 at2 sc2 c2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1320,7 +1320,7 @@ a_id
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 at1 rx1 wx rx1 sc1 s2 at2 c2 sc2
+starting permutation: s1 at1 rx1 wx rx3 sc1 s2 at2 c2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1330,7 +1330,7 @@ a_id
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 at1 rx1 wx rx1 sc1 s2 c2 at2 sc2
+starting permutation: s1 at1 rx1 wx rx3 sc1 s2 c2 at2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1340,7 +1340,7 @@ a_id
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 at1 rx1 wx rx1 sc1 c2 s2 at2 sc2
+starting permutation: s1 at1 rx1 wx rx3 sc1 c2 s2 at2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1350,7 +1350,7 @@ a_id
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 at1 rx1 wx rx1 c2 sc1 s2 at2 sc2
+starting permutation: s1 at1 rx1 wx rx3 c2 sc1 s2 at2 sc2
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
@@ -1360,7 +1360,7 @@ a_id
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 at1 sc1 s2 at2 sc2 wx rx1 c2
+starting permutation: s1 rx1 at1 sc1 s2 at2 sc2 wx rx3 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1372,7 +1372,7 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1380,7 +1380,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 s2 at2 wx sc2 rx1 c2
+starting permutation: s1 rx1 at1 sc1 s2 at2 wx sc2 rx3 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1392,7 +1392,7 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step wx: INSERT INTO b VALUES (0);
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1400,7 +1400,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 s2 at2 wx rx1 sc2 c2
+starting permutation: s1 rx1 at1 sc1 s2 at2 wx rx3 sc2 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1411,7 +1411,7 @@ step sc1: COMMIT;
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1420,7 +1420,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 s2 at2 wx rx1 c2 sc2
+starting permutation: s1 rx1 at1 sc1 s2 at2 wx rx3 c2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1431,7 +1431,7 @@ step sc1: COMMIT;
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1440,7 +1440,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 s2 wx at2 sc2 rx1 c2
+starting permutation: s1 rx1 at1 sc1 s2 wx at2 sc2 rx3 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1452,7 +1452,7 @@ step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1460,7 +1460,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 s2 wx at2 rx1 sc2 c2
+starting permutation: s1 rx1 at1 sc1 s2 wx at2 rx3 sc2 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1471,7 +1471,7 @@ step sc1: COMMIT;
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1480,7 +1480,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 s2 wx at2 rx1 c2 sc2
+starting permutation: s1 rx1 at1 sc1 s2 wx at2 rx3 c2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1491,7 +1491,7 @@ step sc1: COMMIT;
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1500,7 +1500,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 s2 wx rx1 at2 sc2 c2
+starting permutation: s1 rx1 at1 sc1 s2 wx rx3 at2 sc2 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1510,7 +1510,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step sc1: COMMIT;
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1520,7 +1520,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 s2 wx rx1 at2 c2 sc2
+starting permutation: s1 rx1 at1 sc1 s2 wx rx3 at2 c2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1530,7 +1530,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step sc1: COMMIT;
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1540,7 +1540,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 s2 wx rx1 c2 at2 sc2
+starting permutation: s1 rx1 at1 sc1 s2 wx rx3 c2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1550,7 +1550,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step sc1: COMMIT;
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1560,7 +1560,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 wx s2 at2 sc2 rx1 c2
+starting permutation: s1 rx1 at1 sc1 wx s2 at2 sc2 rx3 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1572,7 +1572,7 @@ step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1580,7 +1580,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 wx s2 at2 rx1 sc2 c2
+starting permutation: s1 rx1 at1 sc1 wx s2 at2 rx3 sc2 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1591,7 +1591,7 @@ step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1600,7 +1600,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 wx s2 at2 rx1 c2 sc2
+starting permutation: s1 rx1 at1 sc1 wx s2 at2 rx3 c2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1611,7 +1611,7 @@ step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1620,7 +1620,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 wx s2 rx1 at2 sc2 c2
+starting permutation: s1 rx1 at1 sc1 wx s2 rx3 at2 sc2 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1630,7 +1630,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1640,7 +1640,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 wx s2 rx1 at2 c2 sc2
+starting permutation: s1 rx1 at1 sc1 wx s2 rx3 at2 c2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1650,7 +1650,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1660,7 +1660,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 wx s2 rx1 c2 at2 sc2
+starting permutation: s1 rx1 at1 sc1 wx s2 rx3 c2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1670,7 +1670,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1680,7 +1680,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 wx rx1 s2 at2 sc2 c2
+starting permutation: s1 rx1 at1 sc1 wx rx3 s2 at2 sc2 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1689,7 +1689,7 @@ a_id
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1700,7 +1700,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 wx rx1 s2 at2 c2 sc2
+starting permutation: s1 rx1 at1 sc1 wx rx3 s2 at2 c2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1709,7 +1709,7 @@ a_id
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1720,7 +1720,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 wx rx1 s2 c2 at2 sc2
+starting permutation: s1 rx1 at1 sc1 wx rx3 s2 c2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1729,7 +1729,7 @@ a_id
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1740,7 +1740,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 at1 sc1 wx rx1 c2 s2 at2 sc2
+starting permutation: s1 rx1 at1 sc1 wx rx3 c2 s2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1749,7 +1749,7 @@ a_id
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1760,7 +1760,7 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 at1 wx sc1 s2 at2 sc2 rx1 c2
+starting permutation: s1 rx1 at1 wx sc1 s2 at2 sc2 rx3 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1773,7 +1773,7 @@ step wx: <... completed>
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1781,7 +1781,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: s1 rx1 at1 wx sc1 s2 at2 rx1 sc2 c2
+starting permutation: s1 rx1 at1 wx sc1 s2 at2 rx3 sc2 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1793,7 +1793,7 @@ step sc1: COMMIT;
 step wx: <... completed>
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1802,7 +1802,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 rx1 at1 wx sc1 s2 at2 rx1 c2 sc2
+starting permutation: s1 rx1 at1 wx sc1 s2 at2 rx3 c2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1814,7 +1814,7 @@ step sc1: COMMIT;
 step wx: <... completed>
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1823,7 +1823,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 at1 wx sc1 s2 rx1 at2 sc2 c2
+starting permutation: s1 rx1 at1 wx sc1 s2 rx3 at2 sc2 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1834,7 +1834,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1844,7 +1844,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 rx1 at1 wx sc1 s2 rx1 at2 c2 sc2
+starting permutation: s1 rx1 at1 wx sc1 s2 rx3 at2 c2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1855,7 +1855,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1865,7 +1865,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 at1 wx sc1 s2 rx1 c2 at2 sc2
+starting permutation: s1 rx1 at1 wx sc1 s2 rx3 c2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1876,7 +1876,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1886,7 +1886,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 at1 wx sc1 rx1 s2 at2 sc2 c2
+starting permutation: s1 rx1 at1 wx sc1 rx3 s2 at2 sc2 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1896,7 +1896,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1907,7 +1907,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: s1 rx1 at1 wx sc1 rx1 s2 at2 c2 sc2
+starting permutation: s1 rx1 at1 wx sc1 rx3 s2 at2 c2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1917,7 +1917,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1928,7 +1928,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 at1 wx sc1 rx1 s2 c2 at2 sc2
+starting permutation: s1 rx1 at1 wx sc1 rx3 s2 c2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1938,7 +1938,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1949,7 +1949,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 at1 wx sc1 rx1 c2 s2 at2 sc2
+starting permutation: s1 rx1 at1 wx sc1 rx3 c2 s2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1959,7 +1959,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -1970,7 +1970,7 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 at1 wx rx1 sc1 s2 at2 sc2 c2
+starting permutation: s1 rx1 at1 wx rx3 sc1 s2 at2 sc2 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1980,7 +1980,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 at1 wx rx1 sc1 s2 at2 c2 sc2
+starting permutation: s1 rx1 at1 wx rx3 sc1 s2 at2 c2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -1990,7 +1990,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 at1 wx rx1 sc1 s2 c2 at2 sc2
+starting permutation: s1 rx1 at1 wx rx3 sc1 s2 c2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2000,7 +2000,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 at1 wx rx1 sc1 c2 s2 at2 sc2
+starting permutation: s1 rx1 at1 wx rx3 sc1 c2 s2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2010,7 +2010,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 at1 wx rx1 c2 sc1 s2 at2 sc2
+starting permutation: s1 rx1 at1 wx rx3 c2 sc1 s2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2020,7 +2020,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 wx at1 sc1 s2 at2 sc2 rx1 c2
+starting permutation: s1 rx1 wx at1 sc1 s2 at2 sc2 rx3 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2030,7 +2030,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 wx at1 sc1 s2 at2 rx1 sc2 c2
+starting permutation: s1 rx1 wx at1 sc1 s2 at2 rx3 sc2 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2040,7 +2040,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 wx at1 sc1 s2 at2 rx1 c2 sc2
+starting permutation: s1 rx1 wx at1 sc1 s2 at2 rx3 c2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2050,7 +2050,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 wx at1 sc1 s2 rx1 at2 sc2 c2
+starting permutation: s1 rx1 wx at1 sc1 s2 rx3 at2 sc2 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2060,7 +2060,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 wx at1 sc1 s2 rx1 at2 c2 sc2
+starting permutation: s1 rx1 wx at1 sc1 s2 rx3 at2 c2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2070,7 +2070,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 wx at1 sc1 s2 rx1 c2 at2 sc2
+starting permutation: s1 rx1 wx at1 sc1 s2 rx3 c2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2080,7 +2080,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 wx at1 sc1 rx1 s2 at2 sc2 c2
+starting permutation: s1 rx1 wx at1 sc1 rx3 s2 at2 sc2 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2090,7 +2090,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 wx at1 sc1 rx1 s2 at2 c2 sc2
+starting permutation: s1 rx1 wx at1 sc1 rx3 s2 at2 c2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2100,7 +2100,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 wx at1 sc1 rx1 s2 c2 at2 sc2
+starting permutation: s1 rx1 wx at1 sc1 rx3 s2 c2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2110,7 +2110,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 wx at1 sc1 rx1 c2 s2 at2 sc2
+starting permutation: s1 rx1 wx at1 sc1 rx3 c2 s2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2120,7 +2120,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 wx at1 rx1 sc1 s2 at2 sc2 c2
+starting permutation: s1 rx1 wx at1 rx3 sc1 s2 at2 sc2 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2128,7 +2128,7 @@ a_id
 1              
 step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2136,7 +2136,7 @@ a_id
 3              
 invalid permutation detected
 
-starting permutation: s1 rx1 wx at1 rx1 sc1 s2 at2 c2 sc2
+starting permutation: s1 rx1 wx at1 rx3 sc1 s2 at2 c2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2144,7 +2144,7 @@ a_id
 1              
 step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2152,7 +2152,7 @@ a_id
 3              
 invalid permutation detected
 
-starting permutation: s1 rx1 wx at1 rx1 sc1 s2 c2 at2 sc2
+starting permutation: s1 rx1 wx at1 rx3 sc1 s2 c2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2160,7 +2160,7 @@ a_id
 1              
 step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2168,7 +2168,7 @@ a_id
 3              
 invalid permutation detected
 
-starting permutation: s1 rx1 wx at1 rx1 sc1 c2 s2 at2 sc2
+starting permutation: s1 rx1 wx at1 rx3 sc1 c2 s2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2176,7 +2176,7 @@ a_id
 1              
 step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2184,7 +2184,7 @@ a_id
 3              
 invalid permutation detected
 
-starting permutation: s1 rx1 wx at1 rx1 c2 sc1 s2 at2 sc2
+starting permutation: s1 rx1 wx at1 rx3 c2 sc1 s2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
@@ -2192,7 +2192,7 @@ a_id
 1              
 step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2205,14 +2205,14 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 wx rx1 at1 sc1 s2 at2 sc2 c2
+starting permutation: s1 rx1 wx rx3 at1 sc1 s2 at2 sc2 c2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2221,14 +2221,14 @@ a_id
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 wx rx1 at1 sc1 s2 at2 c2 sc2
+starting permutation: s1 rx1 wx rx3 at1 sc1 s2 at2 c2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2237,14 +2237,14 @@ a_id
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 wx rx1 at1 sc1 s2 c2 at2 sc2
+starting permutation: s1 rx1 wx rx3 at1 sc1 s2 c2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2253,14 +2253,14 @@ a_id
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 wx rx1 at1 sc1 c2 s2 at2 sc2
+starting permutation: s1 rx1 wx rx3 at1 sc1 c2 s2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2269,14 +2269,14 @@ a_id
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: s1 rx1 wx rx1 at1 c2 sc1 s2 at2 sc2
+starting permutation: s1 rx1 wx rx3 at1 c2 sc1 s2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2290,14 +2290,14 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: s1 rx1 wx rx1 c2 at1 sc1 s2 at2 sc2
+starting permutation: s1 rx1 wx rx3 c2 at1 sc1 s2 at2 sc2
 step s1: BEGIN;
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2310,7 +2310,7 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 s2 at2 sc2 wx rx1 c2
+starting permutation: rx1 s1 at1 sc1 s2 at2 sc2 wx rx3 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2322,7 +2322,7 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2330,7 +2330,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 s2 at2 wx sc2 rx1 c2
+starting permutation: rx1 s1 at1 sc1 s2 at2 wx sc2 rx3 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2342,7 +2342,7 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step wx: INSERT INTO b VALUES (0);
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2350,7 +2350,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 s2 at2 wx rx1 sc2 c2
+starting permutation: rx1 s1 at1 sc1 s2 at2 wx rx3 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2361,7 +2361,7 @@ step sc1: COMMIT;
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2370,7 +2370,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 s2 at2 wx rx1 c2 sc2
+starting permutation: rx1 s1 at1 sc1 s2 at2 wx rx3 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2381,7 +2381,7 @@ step sc1: COMMIT;
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2390,7 +2390,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 s2 wx at2 sc2 rx1 c2
+starting permutation: rx1 s1 at1 sc1 s2 wx at2 sc2 rx3 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2402,7 +2402,7 @@ step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2410,7 +2410,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 s2 wx at2 rx1 sc2 c2
+starting permutation: rx1 s1 at1 sc1 s2 wx at2 rx3 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2421,7 +2421,7 @@ step sc1: COMMIT;
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2430,7 +2430,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 s2 wx at2 rx1 c2 sc2
+starting permutation: rx1 s1 at1 sc1 s2 wx at2 rx3 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2441,7 +2441,7 @@ step sc1: COMMIT;
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2450,7 +2450,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 s2 wx rx1 at2 sc2 c2
+starting permutation: rx1 s1 at1 sc1 s2 wx rx3 at2 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2460,7 +2460,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step sc1: COMMIT;
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2470,7 +2470,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 s2 wx rx1 at2 c2 sc2
+starting permutation: rx1 s1 at1 sc1 s2 wx rx3 at2 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2480,7 +2480,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step sc1: COMMIT;
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2490,7 +2490,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 s2 wx rx1 c2 at2 sc2
+starting permutation: rx1 s1 at1 sc1 s2 wx rx3 c2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2500,7 +2500,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step sc1: COMMIT;
 step s2: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2510,7 +2510,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 wx s2 at2 sc2 rx1 c2
+starting permutation: rx1 s1 at1 sc1 wx s2 at2 sc2 rx3 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2522,7 +2522,7 @@ step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2530,7 +2530,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 wx s2 at2 rx1 sc2 c2
+starting permutation: rx1 s1 at1 sc1 wx s2 at2 rx3 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2541,7 +2541,7 @@ step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2550,7 +2550,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 wx s2 at2 rx1 c2 sc2
+starting permutation: rx1 s1 at1 sc1 wx s2 at2 rx3 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2561,7 +2561,7 @@ step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2570,7 +2570,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 wx s2 rx1 at2 sc2 c2
+starting permutation: rx1 s1 at1 sc1 wx s2 rx3 at2 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2580,7 +2580,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2590,7 +2590,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 wx s2 rx1 at2 c2 sc2
+starting permutation: rx1 s1 at1 sc1 wx s2 rx3 at2 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2600,7 +2600,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2610,7 +2610,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 wx s2 rx1 c2 at2 sc2
+starting permutation: rx1 s1 at1 sc1 wx s2 rx3 c2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2620,7 +2620,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2630,7 +2630,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 wx rx1 s2 at2 sc2 c2
+starting permutation: rx1 s1 at1 sc1 wx rx3 s2 at2 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2639,7 +2639,7 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2650,7 +2650,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 wx rx1 s2 at2 c2 sc2
+starting permutation: rx1 s1 at1 sc1 wx rx3 s2 at2 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2659,7 +2659,7 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2670,7 +2670,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 wx rx1 s2 c2 at2 sc2
+starting permutation: rx1 s1 at1 sc1 wx rx3 s2 c2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2679,7 +2679,7 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2690,7 +2690,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 at1 sc1 wx rx1 c2 s2 at2 sc2
+starting permutation: rx1 s1 at1 sc1 wx rx3 c2 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2699,7 +2699,7 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID;
 step sc1: COMMIT;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2710,7 +2710,7 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 at1 wx sc1 s2 at2 sc2 rx1 c2
+starting permutation: rx1 s1 at1 wx sc1 s2 at2 sc2 rx3 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2723,7 +2723,7 @@ step wx: <... completed>
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2731,7 +2731,7 @@ a_id
 3              
 step c2: COMMIT;
 
-starting permutation: rx1 s1 at1 wx sc1 s2 at2 rx1 sc2 c2
+starting permutation: rx1 s1 at1 wx sc1 s2 at2 rx3 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2743,7 +2743,7 @@ step sc1: COMMIT;
 step wx: <... completed>
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2752,7 +2752,7 @@ a_id
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: rx1 s1 at1 wx sc1 s2 at2 rx1 c2 sc2
+starting permutation: rx1 s1 at1 wx sc1 s2 at2 rx3 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2764,7 +2764,7 @@ step sc1: COMMIT;
 step wx: <... completed>
 step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2773,7 +2773,7 @@ a_id
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 at1 wx sc1 s2 rx1 at2 sc2 c2
+starting permutation: rx1 s1 at1 wx sc1 s2 rx3 at2 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2784,7 +2784,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2794,7 +2794,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: rx1 s1 at1 wx sc1 s2 rx1 at2 c2 sc2
+starting permutation: rx1 s1 at1 wx sc1 s2 rx3 at2 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2805,7 +2805,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2815,7 +2815,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 at1 wx sc1 s2 rx1 c2 at2 sc2
+starting permutation: rx1 s1 at1 wx sc1 s2 rx3 c2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2826,7 +2826,7 @@ step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
 step s2: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2836,7 +2836,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 at1 wx sc1 rx1 s2 at2 sc2 c2
+starting permutation: rx1 s1 at1 wx sc1 rx3 s2 at2 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2846,7 +2846,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2857,7 +2857,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 step c2: COMMIT;
 
-starting permutation: rx1 s1 at1 wx sc1 rx1 s2 at2 c2 sc2
+starting permutation: rx1 s1 at1 wx sc1 rx3 s2 at2 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2867,7 +2867,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2878,7 +2878,7 @@ step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step c2: COMMIT;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 at1 wx sc1 rx1 s2 c2 at2 sc2
+starting permutation: rx1 s1 at1 wx sc1 rx3 s2 c2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2888,7 +2888,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2899,7 +2899,7 @@ step c2: COMMIT;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 at1 wx sc1 rx1 c2 s2 at2 sc2
+starting permutation: rx1 s1 at1 wx sc1 rx3 c2 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2909,7 +2909,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 step sc1: COMMIT;
 step wx: <... completed>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -2920,7 +2920,7 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 at1 wx rx1 sc1 s2 at2 sc2 c2
+starting permutation: rx1 s1 at1 wx rx3 sc1 s2 at2 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2930,7 +2930,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 at1 wx rx1 sc1 s2 at2 c2 sc2
+starting permutation: rx1 s1 at1 wx rx3 sc1 s2 at2 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2940,7 +2940,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 at1 wx rx1 sc1 s2 c2 at2 sc2
+starting permutation: rx1 s1 at1 wx rx3 sc1 s2 c2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2950,7 +2950,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 at1 wx rx1 sc1 c2 s2 at2 sc2
+starting permutation: rx1 s1 at1 wx rx3 sc1 c2 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2960,7 +2960,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 at1 wx rx1 c2 sc1 s2 at2 sc2
+starting permutation: rx1 s1 at1 wx rx3 c2 sc1 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2970,7 +2970,7 @@ step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) N
 step wx: INSERT INTO b VALUES (0); <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 wx at1 sc1 s2 at2 sc2 rx1 c2
+starting permutation: rx1 s1 wx at1 sc1 s2 at2 sc2 rx3 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2980,7 +2980,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 wx at1 sc1 s2 at2 rx1 sc2 c2
+starting permutation: rx1 s1 wx at1 sc1 s2 at2 rx3 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -2990,7 +2990,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 wx at1 sc1 s2 at2 rx1 c2 sc2
+starting permutation: rx1 s1 wx at1 sc1 s2 at2 rx3 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3000,7 +3000,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 wx at1 sc1 s2 rx1 at2 sc2 c2
+starting permutation: rx1 s1 wx at1 sc1 s2 rx3 at2 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3010,7 +3010,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 wx at1 sc1 s2 rx1 at2 c2 sc2
+starting permutation: rx1 s1 wx at1 sc1 s2 rx3 at2 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3020,7 +3020,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 wx at1 sc1 s2 rx1 c2 at2 sc2
+starting permutation: rx1 s1 wx at1 sc1 s2 rx3 c2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3030,7 +3030,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 wx at1 sc1 rx1 s2 at2 sc2 c2
+starting permutation: rx1 s1 wx at1 sc1 rx3 s2 at2 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3040,7 +3040,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 wx at1 sc1 rx1 s2 at2 c2 sc2
+starting permutation: rx1 s1 wx at1 sc1 rx3 s2 at2 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3050,7 +3050,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 wx at1 sc1 rx1 s2 c2 at2 sc2
+starting permutation: rx1 s1 wx at1 sc1 rx3 s2 c2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3060,7 +3060,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 wx at1 sc1 rx1 c2 s2 at2 sc2
+starting permutation: rx1 s1 wx at1 sc1 rx3 c2 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3070,7 +3070,7 @@ step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 wx at1 rx1 sc1 s2 at2 sc2 c2
+starting permutation: rx1 s1 wx at1 rx3 sc1 s2 at2 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3078,7 +3078,7 @@ a_id
 step s1: BEGIN;
 step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3086,7 +3086,7 @@ a_id
 3              
 invalid permutation detected
 
-starting permutation: rx1 s1 wx at1 rx1 sc1 s2 at2 c2 sc2
+starting permutation: rx1 s1 wx at1 rx3 sc1 s2 at2 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3094,7 +3094,7 @@ a_id
 step s1: BEGIN;
 step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3102,7 +3102,7 @@ a_id
 3              
 invalid permutation detected
 
-starting permutation: rx1 s1 wx at1 rx1 sc1 s2 c2 at2 sc2
+starting permutation: rx1 s1 wx at1 rx3 sc1 s2 c2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3110,7 +3110,7 @@ a_id
 step s1: BEGIN;
 step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3118,7 +3118,7 @@ a_id
 3              
 invalid permutation detected
 
-starting permutation: rx1 s1 wx at1 rx1 sc1 c2 s2 at2 sc2
+starting permutation: rx1 s1 wx at1 rx3 sc1 c2 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3126,7 +3126,7 @@ a_id
 step s1: BEGIN;
 step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3134,7 +3134,7 @@ a_id
 3              
 invalid permutation detected
 
-starting permutation: rx1 s1 wx at1 rx1 c2 sc1 s2 at2 sc2
+starting permutation: rx1 s1 wx at1 rx3 c2 sc1 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3142,7 +3142,7 @@ a_id
 step s1: BEGIN;
 step wx: INSERT INTO b VALUES (0);
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3155,14 +3155,14 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 wx rx1 at1 sc1 s2 at2 sc2 c2
+starting permutation: rx1 s1 wx rx3 at1 sc1 s2 at2 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step s1: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3171,14 +3171,14 @@ a_id
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 wx rx1 at1 sc1 s2 at2 c2 sc2
+starting permutation: rx1 s1 wx rx3 at1 sc1 s2 at2 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step s1: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3187,14 +3187,14 @@ a_id
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 wx rx1 at1 sc1 s2 c2 at2 sc2
+starting permutation: rx1 s1 wx rx3 at1 sc1 s2 c2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step s1: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3203,14 +3203,14 @@ a_id
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 wx rx1 at1 sc1 c2 s2 at2 sc2
+starting permutation: rx1 s1 wx rx3 at1 sc1 c2 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step s1: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3219,14 +3219,14 @@ a_id
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 s1 wx rx1 at1 c2 sc1 s2 at2 sc2
+starting permutation: rx1 s1 wx rx3 at1 c2 sc1 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step s1: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3240,14 +3240,14 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: rx1 s1 wx rx1 c2 at1 sc1 s2 at2 sc2
+starting permutation: rx1 s1 wx rx3 c2 at1 sc1 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step s1: BEGIN;
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3260,7 +3260,7 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: rx1 wx s1 at1 sc1 s2 at2 sc2 rx1 c2
+starting permutation: rx1 wx s1 at1 sc1 s2 at2 sc2 rx3 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3270,7 +3270,7 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx s1 at1 sc1 s2 at2 rx1 sc2 c2
+starting permutation: rx1 wx s1 at1 sc1 s2 at2 rx3 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3280,7 +3280,7 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx s1 at1 sc1 s2 at2 rx1 c2 sc2
+starting permutation: rx1 wx s1 at1 sc1 s2 at2 rx3 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3290,7 +3290,7 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx s1 at1 sc1 s2 rx1 at2 sc2 c2
+starting permutation: rx1 wx s1 at1 sc1 s2 rx3 at2 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3300,7 +3300,7 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx s1 at1 sc1 s2 rx1 at2 c2 sc2
+starting permutation: rx1 wx s1 at1 sc1 s2 rx3 at2 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3310,7 +3310,7 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx s1 at1 sc1 s2 rx1 c2 at2 sc2
+starting permutation: rx1 wx s1 at1 sc1 s2 rx3 c2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3320,7 +3320,7 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx s1 at1 sc1 rx1 s2 at2 sc2 c2
+starting permutation: rx1 wx s1 at1 sc1 rx3 s2 at2 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3330,7 +3330,7 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx s1 at1 sc1 rx1 s2 at2 c2 sc2
+starting permutation: rx1 wx s1 at1 sc1 rx3 s2 at2 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3340,7 +3340,7 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx s1 at1 sc1 rx1 s2 c2 at2 sc2
+starting permutation: rx1 wx s1 at1 sc1 rx3 s2 c2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3350,7 +3350,7 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx s1 at1 sc1 rx1 c2 s2 at2 sc2
+starting permutation: rx1 wx s1 at1 sc1 rx3 c2 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3360,7 +3360,7 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx s1 at1 rx1 sc1 s2 at2 sc2 c2
+starting permutation: rx1 wx s1 at1 rx3 sc1 s2 at2 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3368,7 +3368,7 @@ a_id
 step wx: INSERT INTO b VALUES (0);
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3376,7 +3376,7 @@ a_id
 3              
 invalid permutation detected
 
-starting permutation: rx1 wx s1 at1 rx1 sc1 s2 at2 c2 sc2
+starting permutation: rx1 wx s1 at1 rx3 sc1 s2 at2 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3384,7 +3384,7 @@ a_id
 step wx: INSERT INTO b VALUES (0);
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3392,7 +3392,7 @@ a_id
 3              
 invalid permutation detected
 
-starting permutation: rx1 wx s1 at1 rx1 sc1 s2 c2 at2 sc2
+starting permutation: rx1 wx s1 at1 rx3 sc1 s2 c2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3400,7 +3400,7 @@ a_id
 step wx: INSERT INTO b VALUES (0);
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3408,7 +3408,7 @@ a_id
 3              
 invalid permutation detected
 
-starting permutation: rx1 wx s1 at1 rx1 sc1 c2 s2 at2 sc2
+starting permutation: rx1 wx s1 at1 rx3 sc1 c2 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3416,7 +3416,7 @@ a_id
 step wx: INSERT INTO b VALUES (0);
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3424,7 +3424,7 @@ a_id
 3              
 invalid permutation detected
 
-starting permutation: rx1 wx s1 at1 rx1 c2 sc1 s2 at2 sc2
+starting permutation: rx1 wx s1 at1 rx3 c2 sc1 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
@@ -3432,7 +3432,7 @@ a_id
 step wx: INSERT INTO b VALUES (0);
 step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3445,14 +3445,14 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: rx1 wx s1 rx1 at1 sc1 s2 at2 sc2 c2
+starting permutation: rx1 wx s1 rx3 at1 sc1 s2 at2 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
 step s1: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3461,14 +3461,14 @@ a_id
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx s1 rx1 at1 sc1 s2 at2 c2 sc2
+starting permutation: rx1 wx s1 rx3 at1 sc1 s2 at2 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
 step s1: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3477,14 +3477,14 @@ a_id
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx s1 rx1 at1 sc1 s2 c2 at2 sc2
+starting permutation: rx1 wx s1 rx3 at1 sc1 s2 c2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
 step s1: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3493,14 +3493,14 @@ a_id
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx s1 rx1 at1 sc1 c2 s2 at2 sc2
+starting permutation: rx1 wx s1 rx3 at1 sc1 c2 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
 step s1: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3509,14 +3509,14 @@ a_id
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx s1 rx1 at1 c2 sc1 s2 at2 sc2
+starting permutation: rx1 wx s1 rx3 at1 c2 sc1 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
 step s1: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3530,14 +3530,14 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: rx1 wx s1 rx1 c2 at1 sc1 s2 at2 sc2
+starting permutation: rx1 wx s1 rx3 c2 at1 sc1 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
 step s1: BEGIN;
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3550,13 +3550,13 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: rx1 wx rx1 s1 at1 sc1 s2 at2 sc2 c2
+starting permutation: rx1 wx rx3 s1 at1 sc1 s2 at2 sc2 c2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3566,13 +3566,13 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx rx1 s1 at1 sc1 s2 at2 c2 sc2
+starting permutation: rx1 wx rx3 s1 at1 sc1 s2 at2 c2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3582,13 +3582,13 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx rx1 s1 at1 sc1 s2 c2 at2 sc2
+starting permutation: rx1 wx rx3 s1 at1 sc1 s2 c2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3598,13 +3598,13 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx rx1 s1 at1 sc1 c2 s2 at2 sc2
+starting permutation: rx1 wx rx3 s1 at1 sc1 c2 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3614,13 +3614,13 @@ step s1: BEGIN;
 step at1: ALTER TABLE b ADD CONSTRAINT bfk FOREIGN KEY (a_id) REFERENCES a (i) NOT VALID; <waiting ...>
 invalid permutation detected
 
-starting permutation: rx1 wx rx1 s1 at1 c2 sc1 s2 at2 sc2
+starting permutation: rx1 wx rx3 s1 at1 c2 sc1 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3635,13 +3635,13 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: rx1 wx rx1 s1 c2 at1 sc1 s2 at2 sc2
+starting permutation: rx1 wx rx3 s1 c2 at1 sc1 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              
@@ -3655,13 +3655,13 @@ step s2: BEGIN;
 step at2: ALTER TABLE b VALIDATE CONSTRAINT bfk;
 step sc2: COMMIT;
 
-starting permutation: rx1 wx rx1 c2 s1 at1 sc1 s2 at2 sc2
+starting permutation: rx1 wx rx3 c2 s1 at1 sc1 s2 at2 sc2
 step rx1: SELECT * FROM b WHERE a_id = 1 LIMIT 1;
 a_id           
 
 1              
 step wx: INSERT INTO b VALUES (0);
-step rx1: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
+step rx3: SELECT * FROM b WHERE a_id = 3 LIMIT 3;
 a_id           
 
 3              

diff --git a/src/test/isolation/isolationtester.c b/src/test/isolation/isolationtester.c
index 18e1445d81c76ab66d0a03e528cb104967730302..ab4150143f7c5f8e298afe2b541ebe97031a712f 100644 (file)
--- a/src/test/isolation/isolationtester.c
+++ b/src/test/isolation/isolationtester.c
@@ -66,10 +66,14 @@ main(int argc, char **argv)
 {
    const char *conninfo;
    TestSpec   *testspec;
-   int         i;
+   int         i,
+               j;
+   int         n;
    PGresult   *res;
    PQExpBufferData wait_query;
    int         opt;
+   int         nallsteps;
+   Step      **allsteps;
 
    while ((opt = getopt(argc, argv, "nV")) != -1)
    {
@@ -109,6 +113,36 @@ main(int argc, char **argv)
    spec_yyparse();
    testspec = &parseresult;
 
+   /* Create a lookup table of all steps. */
+   nallsteps = 0;
+   for (i = 0; i < testspec->nsessions; i++)
+       nallsteps += testspec->sessions[i]->nsteps;
+
+   allsteps = malloc(nallsteps * sizeof(Step *));
+
+   n = 0;
+   for (i = 0; i < testspec->nsessions; i++)
+   {
+       for (j = 0; j < testspec->sessions[i]->nsteps; j++)
+           allsteps[n++] = testspec->sessions[i]->steps[j];
+   }
+
+   qsort(allsteps, nallsteps, sizeof(Step *), &step_qsort_cmp);
+   testspec->nallsteps = nallsteps;
+   testspec->allsteps = allsteps;
+
+   /* Verify that all step names are unique */
+   for (i = 1; i < testspec->nallsteps; i++)
+   {
+       if (strcmp(testspec->allsteps[i - 1]->name,
+                  testspec->allsteps[i]->name) == 0)
+       {
+           fprintf(stderr, "duplicate step name: %s\n",
+                   testspec->allsteps[i]->name);
+           exit_nicely();
+       }
+   }
+
    /*
     * In dry-run mode, just print the permutations that would be run, and
     * exit.
@@ -367,25 +401,6 @@ run_named_permutations(TestSpec *testspec)
 {
    int         i,
                j;
-   int         n;
-   int         nallsteps;
-   Step      **allsteps;
-
-   /* First create a lookup table of all steps */
-   nallsteps = 0;
-   for (i = 0; i < testspec->nsessions; i++)
-       nallsteps += testspec->sessions[i]->nsteps;
-
-   allsteps = malloc(nallsteps * sizeof(Step *));
-
-   n = 0;
-   for (i = 0; i < testspec->nsessions; i++)
-   {
-       for (j = 0; j < testspec->sessions[i]->nsteps; j++)
-           allsteps[n++] = testspec->sessions[i]->steps[j];
-   }
-
-   qsort(allsteps, nallsteps, sizeof(Step *), &step_qsort_cmp);
 
    for (i = 0; i < testspec->npermutations; i++)
    {
@@ -397,8 +412,10 @@ run_named_permutations(TestSpec *testspec)
        /* Find all the named steps using the lookup table */
        for (j = 0; j < p->nsteps; j++)
        {
-           Step      **this = (Step **) bsearch(p->stepnames[j], allsteps,
-                                                nallsteps, sizeof(Step *),
+           Step      **this = (Step **) bsearch(p->stepnames[j],
+                                                testspec->allsteps,
+                                                testspec->nallsteps,
+                                                sizeof(Step *),
                                                 &step_bsearch_cmp);
 
            if (this == NULL)

diff --git a/src/test/isolation/isolationtester.h b/src/test/isolation/isolationtester.h
index a6bca08eb0d0fec370827eb8e4cf48f1397ecfb6..612fec53c49429170ccf640e046d93a37d83fca0 100644 (file)
--- a/src/test/isolation/isolationtester.h
+++ b/src/test/isolation/isolationtester.h
@@ -49,6 +49,8 @@ typedef struct
    int         nsessions;
    Permutation **permutations;
    int         npermutations;
+   Step      **allsteps;
+   int         nallsteps;
 } TestSpec;
 
 extern TestSpec parseresult;

diff --git a/src/test/isolation/specs/alter-table-1.spec b/src/test/isolation/specs/alter-table-1.spec
index 7a7fe5510511a8998117988255ec49527c4743d5..6b38dc10d6b8eb6717f280b30619bafcb0781ca0 100644 (file)
--- a/src/test/isolation/specs/alter-table-1.spec
+++ b/src/test/isolation/specs/alter-table-1.spec
@@ -28,5 +28,5 @@ session "s2"
 setup      { BEGIN; }
 step "rx1" { SELECT * FROM b WHERE a_id = 1 LIMIT 1; }
 step "wx"  { INSERT INTO b VALUES (0); }
-step "rx1" { SELECT * FROM b WHERE a_id = 3 LIMIT 3; }
+step "rx3" { SELECT * FROM b WHERE a_id = 3 LIMIT 3; }
 step "c2"  { COMMIT; }