\set ECHO none
remove_provenance

(1 row)
name|counting
Dave|1
Magdalen|1
Nancy|1
(3 rows)
remove_provenance

(1 row)
p_name|b_name|counting
Dave|Ellen|1
Dave|Susan|1
Magdalen|Ellen|1
Magdalen|Susan|1
Nancy|Ellen|1
Nancy|Susan|1
(6 rows)
remove_provenance

(1 row)
name1|name2|counting
Dave|Magdalen|1
Dave|Nancy|1
Ellen|Susan|1
Magdalen|Nancy|1
(4 rows)
remove_provenance

(1 row)
name|counting
Magdalen|1
Nancy|1
(2 rows)
remove_provenance

(1 row)
name|city|counting
Dave|Paris|1
Ellen|Berlin|1
John|New York|1
Magdalen|Paris|1
Nancy|Paris|1
Paul|New York|1
Susan|Berlin|1
(7 rows)
add_provenance

(1 row)
remove_provenance

(1 row)
id|untracked
1|f
3|t
4|t
(3 rows)
remove_provenance

(1 row)
id|name
1|a
2|x
3|b
4|c
(4 rows)
ERROR:  ProvSQL: data-modifying CTE "ins" cannot read CTE "t", which is over a provenance-tracked relation
DETAIL:  provsql-reason: cte-data-modifying; scope: out-of-scope
remove_provenance

(1 row)
name|counting
Dave|1
Magdalen|1
Nancy|1
(3 rows)
remove_provenance

(1 row)
city|counting
Berlin|1
New York|1
Paris|1
(3 rows)