Memory leak for QF_NIA formula (opt, opt.pb.compile_equality, rewriter.push_ite_arith)

[rainoftime]

(set-option :opt.pb.compile_equality true)
(set-option :rewriter.push_ite_arith true)
(declare-const v18 Bool)
(declare-const i0 Int)
(declare-const i3 Int)
(declare-const i15 Int)
(assert (>= 0 (div (- (abs i3)) (abs i3))))
(maximize (- i0 i3 i15))
(check-sat)

z3 (commit b43ed70) throws a leak

=================================================================
==166366==ERROR: LeakSanitizer: detected memory leaks

Direct leak of 224 byte(s) in 1 object(s) allocated from:
    #0 0x7fe1e7349662 in malloc (/usr/lib/x86_64-linux-gnu/libasan.so.2+0x98662)
    #1 0x261202d in memory::allocate(unsigned long) ../src/util/memory_manager.cpp:268
    #2 0x2611b50 in memory::allocate(char const*, int, char const*, unsigned long) ../src/util/memory_manager.cpp:207
    #3 0xd08cf2 in smt::theory_pb::internalize_atom(app*, bool) ../src/smt/theory_pb.cpp:516
    #4 0x102535f in smt::context::internalize_theory_atom(app*, bool) ../src/smt/smt_internalizer.cpp:470
    #5 0x102458b in smt::context::internalize_formula(expr*, bool) ../src/smt/smt_internalizer.cpp:409
    #6 0x1023a93 in smt::context::internalize_rec(expr*, bool) ../src/smt/smt_internalizer.cpp:348
    #7 0x10235cc in smt::context::internalize(expr*, bool) ../src/smt/smt_internalizer.cpp:337
    #8 0xd08979 in smt::theory_pb::internalize_atom(app*, bool) ../src/smt/theory_pb.cpp:505
    #9 0x102535f in smt::context::internalize_theory_atom(app*, bool) ../src/smt/smt_internalizer.cpp:470
    #10 0x102458b in smt::context::internalize_formula(expr*, bool) ../src/smt/smt_internalizer.cpp:409
    #11 0x1023a93 in smt::context::internalize_rec(expr*, bool) ../src/smt/smt_internalizer.cpp:348
    #12 0x10281b5 in smt::context::internalize_ite_term(app*) ../src/smt/smt_internalizer.cpp:805
    #13 0x1027e3d in smt::context::internalize_term(app*) ../src/smt/smt_internalizer.cpp:777
    #14 0x1023b83 in smt::context::internalize_rec(expr*, bool) ../src/smt/smt_internalizer.cpp:356
    #15 0x10281d3 in smt::context::internalize_ite_term(app*) ../src/smt/smt_internalizer.cpp:806
    #16 0x1027e3d in smt::context::internalize_term(app*) ../src/smt/smt_internalizer.cpp:777
    #17 0x1023b83 in smt::context::internalize_rec(expr*, bool) ../src/smt/smt_internalizer.cpp:356
    #18 0x10281f1 in smt::context::internalize_ite_term(app*) ../src/smt/smt_internalizer.cpp:807
    #19 0x1027e3d in smt::context::internalize_term(app*) ../src/smt/smt_internalizer.cpp:777
    #20 0x1023b83 in smt::context::internalize_rec(expr*, bool) ../src/smt/smt_internalizer.cpp:356
    #21 0x10235cc in smt::context::internalize(expr*, bool) ../src/smt/smt_internalizer.cpp:337
    #22 0x11e8403 in smt::theory_lra::imp::internalize_args(app*, bool) ../src/smt/theory_lra.cpp:632
    #23 0x11e7f3f in smt::theory_lra::imp::linearize(smt::theory_lra::imp::scoped_internalize_state&) ../src/smt/theory_lra.cpp:602
    #24 0x11e6c36 in smt::theory_lra::imp::linearize_term(expr*, smt::theory_lra::imp::scoped_internalize_state&) ../src/smt/theory_lra.cpp:477
    #25 0x11ea3d7 in smt::theory_lra::imp::internalize_def(app*) (/home/peisen/test/tofuzz/z3-debug/build/z3+0x11ea3d7)
    #26 0x11ece72 in smt::theory_lra::imp::internalize_atom(app*, bool) ../src/smt/theory_lra.cpp:1024
    #27 0x11debee in smt::theory_lra::internalize_atom(app*, bool) ../src/smt/theory_lra.cpp:3882
    #28 0x102535f in smt::context::internalize_theory_atom(app*, bool) ../src/smt/smt_internalizer.cpp:470
    #29 0x102458b in smt::context::internalize_formula(expr*, bool) ../src/smt/smt_internalizer.cpp:409