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