(set-logic ALL)
(set-info :status sat)
(declare-const zero Int)
(declare-fun A () (Set Int))
(assert (exists ((x Int)) (= A (singleton x))))
(assert (member (- zero) A))
(check-sat)