1 2 3 4 5
(set-logic ALL) (set-info :status sat) (declare-fun d () (Tuple Int Int)) (assert (= (as emptyset (Set (Tuple Int Int))) (join (singleton (tuple 1 0)) (singleton d)))) (check-sat)