Assertion violation at bit_vector.h:140

[rainoftime]

Hi, for the following formula

(set-logic HORN)
(set-option :fp.datalog.default_table bitvector)
(assert false)
(check-sat)

z3 3313590 throws an assertion violation

File: ../src/util/bit_vector.h 
Line: 140
bit_idx < size()

[rainoftime]

Here is another instance using different parameters

(set-logic HORN)
(set-option :fp.datalog.magic_sets_for_queries true)
(set-option :fp.datalog.default_table bitvector)
(check-sat)