\set ECHO none
add_provenance

(1 row)
add_provenance

(1 row)
create_provenance_mapping

(1 row)
create_provenance_mapping

(1 row)
remove_provenance

(1 row)
stop_name|accessible
DestA|t
DestB|f
(2 rows)
remove_provenance

(1 row)
stop_name|formula
DestB|1 ⊗ 1 ⊗ 0 ⊗ 1
(1 row)
WARNING:  ProvSQL: LIMIT / OFFSET in a subquery: provenance not tracked, although the statement tracks cs3_stops
DETAIL:  provsql-reason: limit-in-subquery; scope: deliberate
HINT:  The rows kept feed the rest of the query, whose provenance does not record the cut; write the LIMIT in the outermost query to avoid it.
remove_provenance

(1 row)
route_long_name|next_stop|accessible
Line 1|DestA|t
Line 1|DestB|f
(2 rows)
remove_provenance

(1 row)
remove_provenance

(1 row)