$z3release bug.smt2 
sat
$cvc4 -q bug.smt2 
unsat

$cat bug.smt2 
(declare-fun x () String)
(assert (= 0 (str.to_int (str.++ (str.replace "" x "") 
        (str.replace "" x (str.substr x 1 0))))))
(check-sat)