(set-logic ALL)
(set-info :status sat)
(declare-datatypes ((D 2)) ((par (T1 T2)
                                    ((CL  (get_CL  T1))
                                     (CR (get_CR T2))))))
(declare-sort U 0)
(declare-fun s0 () U)
(define-fun s1 () (D U U) ((as CL (D U U)) s0))
(check-sat)