; EXPECT: (define-fun triv ((x Int) (y Int)) Int x)
; EXPECT: (define-fun triv ((x Int) (y Int)) Int y)
; EXPECT: (error "Maximum term size (0) for enumerative SyGuS exceeded.")
; EXIT: 1

; COMMAND-LINE: --lang=sygus2 --sygus-stream --sygus-abort-size=0 --sygus-active-gen=var-agnostic

(set-logic LIA)

(synth-fun triv ((x Int) (y Int)) Int
    ((Start Int))
    ((Start Int (x
                 y
                 (+ Start Start)
                 ))
    ))

(check-synth)