; EXPECT: unsat
; COMMAND-LINE: --sygus-out=status
(set-logic SAT)
(synth-fun f () Bool)
(synth-fun g () Bool)
(synth-fun h () Bool)
(synth-fun w () Int)

(constraint (not (= w 0)))
(constraint f)
(constraint (not g))
(constraint h)

(check-synth)