1 2 3 4 5 6 7
; EXPECT: unknown (set-option :incremental false) (set-logic ALL) (declare-fun x () (Set (Tuple Int Int))) (assert (> (card (transpose x)) 0)) (check-sat)