; COMMAND-LINE:
; EXPECT: sat
(set-logic HO_NIA)
(declare-fun x (Int) Bool)
(check-sat)