[515] % cvc5 -q --ext-rew-prep --ext-rew-prep-agg small.smt2
Fatal failure within cvc5::Node cvc5::theory::quantifiers::ExtendedRewriter::extendedRewrite(cvc5::Node) at /local/suz-local/software/CVC4/src/theory/quantifiers/extended_rewrite.cpp:229
Check failure

 new_ret.isNull() || new_ret != ret

Aborted
[516] % 
[516] % cat small.smt2
(declare-fun a () String)
(assert
 (str.contains ""
  (str.replace_all ""
   (str.substr a 1
    (str.to_int
     (str.substr
      (str.substr a 0
       (ite (= (str.len (str.substr a 2 1)) 1)
        (ite (< (str.len a) 0)
         (ite (= (str.len (str.substr (str.substr a 2 1) (str.len (str.substr a 1 1)) 2)) 1) 1 0)
         (- 1))
        0))
      0 2)))
   a)))
(check-sat)
[517] %