1 2 3 4 5 6
; COMMAND-LINE: --strings-exp --strings-fmf --re-elim --re-elim-agg ; EXPECT: sat (set-logic ALL) (declare-fun a () String) (assert (str.in_re a (re.+ (str.to_re (str.replace_re a (str.to_re a) "A"))))) (check-sat)