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