\set ECHO none
set_prob

(1 row)
mixture_kind
mixture
(1 row)
nb_children|wire0_kind|wire1_kind|wire2_kind
3|input|rv|rv
(1 row)
p_token_preserved
t
(1 row)
structural_sharing_collapses|shared_p_token
t|t
(1 row)
distinct_when_operands_differ
t
(1 row)
set_prob

(1 row)
outer_kind|outer_y_kind|inner_nb_children
mixture|mixture|3
(1 row)
arith_mix_kind|arith_mix_x_kind|arith_mix_y_kind
mixture|arith|arith
(1 row)
dirac_mix_kind
mixture
(1 row)
adhoc_kind|adhoc_nb_children|adhoc_wire0_kind|adhoc_prob_pinned|adhoc_distinct_bernoulli
mixture|3|input|t|t
(1 row)
create_gate

(1 row)
create_gate

(1 row)
set_prob

(1 row)
set_prob

(1 row)
compound_times_p_kind
mixture
(1 row)
compound_monus_p_kind
mixture
(1 row)
ERROR:  provsql.mixture: p must be a Boolean gate (input/mulinput/update/plus/times/monus/project/eq/cmp/zero/one), got value
ERROR:  provsql.mixture: probability must be in [0,1] (got 1.5)
ERROR:  provsql.mixture: probability must be in [0,1] (got -0.1)
ERROR:  provsql.mixture: probability must be in [0,1] (got NaN)