(declare-const b Bool)
(assert (! b true :named x))