\(set-option :produce-models true\)
\(set-logic ALL\)
\(define-fun B0 \(\) Bool true\)
\(define-fun B2 \(\) Bool \(not false\)\)
\(check-sat\)
\(assert B2\)
