test/regress/regress0/bug541.smt2

   1 ; COMMAND-LINE: --lang=smt2.5
   2 ; EXPECT: unsat
   3 (set-logic ALL_SUPPORTED)
   4 (declare-datatypes (T1 T2) ((Pair (mk-pair (first T1) (second T2)))))
   5 (assert (= (mk-pair 0.0 0.0) (mk-pair 1.5 2.5)))
   6 (check-sat)
   7 (exit)