; EXPECT: sat
; COMMAND-LINE: --sygus-inference
(set-logic ALL)
(declare-fun a () Real)
(assert (distinct a (sin 2)))
(check-sat)