2 (set-info :status unsat)
3 (declare-fun x () String)
4 (declare-fun y () String)
5 (declare-fun z () String)
9 (not (= (str.replace (str.++ x x) "A" "B") (str.replace x "" (str.replace x "A" "B"))))
11 (not (= (str.replace (str.++ x y "B" x y) "A" z) (str.++ (str.replace (str.++ x y) "A" z) "B" x y)))