1 2 3 4 5 6 7 8 9 10
; EXPECT: unsat ; COMMAND-LINE: --lang=sygus2 --cegqi-si=all --sygus-out=status (set-logic LIA) (synth-fun fb () Int ((Start Int)) ((Start Int ((Constant Int))))) (synth-fun fc () Int ((Start Int)) ((Start Int ((Constant Int))))) (constraint (= fc (+ fb 10))) (check-synth)