(set-logic ALL_SUPPORTED)
(set-info :status unsat)
(declare-fun P (Real) Bool)
(assert (forall ((x Int)) (P x)))

(declare-fun a () Real)
(assert (is_int a))
(assert (not (P a)))

(check-sat)