Parsed test spec with 3 sessions

starting permutation: s2_begin s2_snap s1_update s1_index s1_check s2_sp s2_count s2_back s2_sp s2_count2 s2_back s2_sp s2_any s2_back s2_sp s2_stats s2_back s2_sp s2_groups s2_back s2_sp s2_bm25 s2_back s2_sp s2_facets s2_back s2_sp s2_facetsf s2_back s2_sp s2_slices s2_back s2_commit s3_count s3_count2 s3_any s3_stats s3_groups s3_bm25 s3_facets s3_facetsf s3_slices
step s2_begin: BEGIN ISOLATION LEVEL REPEATABLE READ;
step s2_snap: SELECT k FROM rx;
k
-
1
(1 row)

step s1_update: UPDATE rx SET k = 2, d = to_tsvector('simple', 'new');
step s1_index: CREATE INDEX rx_k ON rx USING lion (k) WITH (slices = on);
				  CREATE INDEX rx_d ON rx USING lion (d) WITH (store_positions = true);
step s1_check: SELECT indexrelid::regclass, indcheckxmin FROM pg_index
					WHERE indrelid = 'rx'::regclass ORDER BY 1::text;
indexrelid|indcheckxmin
----------+------------
rx_k      |t           
rx_d      |t           
(2 rows)

step s2_sp: SAVEPOINT p;
step s2_count: SELECT lion_index_count('rx_k', 1);
ERROR:  cannot count through index "rx_k" because it was built from a broken HOT chain (indcheckxmin) and cannot be used by this transaction's snapshot
step s2_back: ROLLBACK TO p;
step s2_sp: SAVEPOINT p;
step s2_count2: SELECT lion_index_count('rx_k', 1, 'rx_k', 1);
ERROR:  cannot count through index "rx_k" because it was built from a broken HOT chain (indcheckxmin) and cannot be used by this transaction's snapshot
step s2_back: ROLLBACK TO p;
step s2_sp: SAVEPOINT p;
step s2_any: SELECT lion_index_count_any('rx_k', ARRAY[1]);
ERROR:  cannot count through index "rx_k" because it was built from a broken HOT chain (indcheckxmin) and cannot be used by this transaction's snapshot
step s2_back: ROLLBACK TO p;
step s2_sp: SAVEPOINT p;
step s2_stats: SELECT count FROM lion_index_count_stats('rx_k', 1);
ERROR:  cannot count through index "rx_k" because it was built from a broken HOT chain (indcheckxmin) and cannot be used by this transaction's snapshot
step s2_back: ROLLBACK TO p;
step s2_sp: SAVEPOINT p;
step s2_groups: SELECT count(*) FROM lion_index_count_group_stats('rx_k');
ERROR:  cannot count through index "rx_k" because it was built from a broken HOT chain (indcheckxmin) and cannot be used by this transaction's snapshot
step s2_back: ROLLBACK TO p;
step s2_sp: SAVEPOINT p;
step s2_bm25: SELECT count(*) FROM lion_bm25('rx_d', 'old', 10);
ERROR:  cannot rank through index "rx_d" because it was built from a broken HOT chain (indcheckxmin) and cannot be used by this transaction's snapshot
step s2_back: ROLLBACK TO p;
step s2_sp: SAVEPOINT p;
step s2_facets: SELECT * FROM lion_index_facets('rx_d', 5);
ERROR:  cannot count through index "rx_d" because it was built from a broken HOT chain (indcheckxmin) and cannot be used by this transaction's snapshot
step s2_back: ROLLBACK TO p;
step s2_sp: SAVEPOINT p;
step s2_facetsf: SELECT * FROM lion_index_facets('rx_k', NULL, $$d @@ 'old'$$);
ERROR:  cannot count through index "rx_k" because it was built from a broken HOT chain (indcheckxmin) and cannot be used by this transaction's snapshot
step s2_back: ROLLBACK TO p;
step s2_sp: SAVEPOINT p;
step s2_slices: SELECT * FROM lion_index_slice_agg('rx_k');
ERROR:  cannot count through index "rx_k" because it was built from a broken HOT chain (indcheckxmin) and cannot be used by this transaction's snapshot
step s2_back: ROLLBACK TO p;
step s2_commit: COMMIT;
step s3_count: SELECT lion_index_count('rx_k', 2);
lion_index_count
----------------
               1
(1 row)

step s3_count2: SELECT lion_index_count('rx_k', 2, 'rx_k', 2);
lion_index_count
----------------
               1
(1 row)

step s3_any: SELECT lion_index_count_any('rx_k', ARRAY[2]);
lion_index_count_any
--------------------
                   1
(1 row)

step s3_stats: SELECT count FROM lion_index_count_stats('rx_k', 2);
count
-----
    1
(1 row)

step s3_groups: SELECT count(*) FROM lion_index_count_group_stats('rx_k');
count
-----
    1
(1 row)

step s3_bm25: SELECT count(*) FROM lion_bm25('rx_d', 'new', 10);
count
-----
    1
(1 row)

step s3_facets: SELECT * FROM lion_index_facets('rx_d', 5);
key|count
---+-----
new|    1
(1 row)

step s3_facetsf: SELECT * FROM lion_index_facets('rx_k', NULL, $$d @@ 'new'$$);
key|count
---+-----
  2|    1
(1 row)

step s3_slices: SELECT * FROM lion_index_slice_agg('rx_k');
count|sum|min|max
-----+---+---+---
    1|  2|  2|  2
(1 row)