(declare-const b Bool)
(assert (! b :baz (bvadd x y)))