Crash with FPA formula

[nunoplopes]

(declare-fun %x () (_ BitVec 32))

(assert (forall ((undef!1 (_ BitVec 32)))
  (= (fp.to_ieee_bv (fp.neg ((_ to_fp 8 24) (fp.to_ieee_bv ((_ to_fp 8 24) undef!1)))))
     (fp.to_ieee_bv (fp.neg ((_ to_fp 8 24) (fp.to_ieee_bv ((_ to_fp 8 24) %x))))))))
(check-sat)

stack trace:

#0  expr::get_sort() const ()
#1  fpa2bv_converter::mk_to_bv(func_decl*, unsigned int, expr* const*, bool, obj_ref<expr, ast_manager>&) ()
#2  fpa2bv_converter::mk_to_ieee_bv_i(func_decl*, unsigned int, expr* const*, obj_ref<expr, ast_manager>&) ()
#3  fpa2bv_rewriter_cfg::reduce_app(func_decl*, unsigned int, expr* const*, obj_ref<expr, ast_manager>&, obj_ref<app, ast_manager>&) ()
#4  void rewriter_tpl<fpa2bv_rewriter_cfg>::process_app<false>(app*, rewriter_core::frame&) ()
#5  void rewriter_tpl<fpa2bv_rewriter_cfg>::resume_core<false>(obj_ref<expr, ast_manager>&, obj_ref<app, ast_manager>&) ()
#6  fpa2bv_rewriter::convert_term(th_rewriter&, expr*) ()
#7  fpa2bv_rewriter::convert(th_rewriter&, expr*) ()
#8  smt::theory_fpa::convert(expr*) ()
#9  smt::theory_fpa::internalize_term(app*) ()