; COMMAND-LINE: --debug-sygus
; EXPECT: (sygus-enum 0)
; EXPECT: (sygus-candidate (f 0))
; EXPECT: (sygus-enum 1)
; EXPECT: (sygus-candidate (f 1))
; EXPECT: unsat
; EXPECT: (define-fun f () Int 1)
(set-logic LIA)

(synth-fun f () Int ((Start Int)) ((Start Int (0 1))))

(constraint (not (= f 0)))

(check-synth)