1 2 3 4 5 6 7
; COMMAND-LINE: --cegqi-si=none --sygus-out=status ; EXPECT: unknown (set-logic LIA) (synth-fun P ((x Int)) Bool) (constraint (P 54)) (constraint (not (P 54))) (check-synth)