$z3release bug.smt2                                                                
[1]    57459 segmentation fault  z3release bug.smt2                                
$cat bug.smt2                                                                      
(declare-fun var_0xINPUT_146819 () String)                                      
(assert (not (= var_0xINPUT_146819 (str.replace_all (str.replace_all 
(str.replace_all (str.++ "a" (str.++ "ea" "ea")) "a" (str.++ "ea" (str.++ "a" 
"ea"))) "a" (str.replace_all (str.++ "e" (str.++ "e" "e")) "e" (str.++ "earc" 
(str.++ "earc" "earc")))) "e" (str.replace_all (str.replace_all (str.++ "e" 
(str.++ "e" "e")) "e" (str.++ "e" (str.++ "e" "e"))) "e" (str.replace_all 
(str.replace_all "earc" "r" (str.++ "ar" (str.++ "earc" "earc"))) "e" (str.++ 
"arc" "earc")))))))
(check-sat)                                                                        
$