\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)
remove_provenance

(1 row)
remove_provenance

(1 row)