1; COMMAND-LINE: --ext-rew-prep --ext-rew-prep-agg 2; EXPECT: sat 3(set-logic ALL) 4(declare-sort Atom 0) 5 6(declare-fun a () Atom) 7(declare-fun b () Atom) 8(declare-fun c () Atom) 9(declare-fun S () (Set Atom)) 10 11 12(assert (= S (union (singleton a) (union (singleton c) (singleton b))))) 13 14(check-sat) 15 16