1 2 3 4 5 6
; EXPECT: unsat ; COMMAND-LINE: --lang=sygus2 --sygus-out=status (set-logic ALL) (declare-datatypes (( List 1)) ( (par (T) ((nil) (cons (head T) (tail (List T))))))) (synth-fun f () (List Int)) (check-synth)