(set-logic QF_S)
(set-info :status sat)
(declare-fun a () String)
(assert (str.in_re "" (re.++ (str.to_re a) (re.comp re.allchar))))
(check-sat)