1 2 3 4 5 6 7 8 9 10
; EXPECT: unsat ; COMMAND-LINE: --lang=sygus2 --sygus-out=status (set-logic ALL) (synth-fun f ((x Int)) (Set Int)) (constraint (member 45 (f 45))) (constraint (member 8 (f 8))) (constraint (member 0 (f 3))) (check-synth)