Fatal failure at theory_model_builder.cpp:156 (cbqi-all, quant-split, partial-triggers, full-saturate-quant, sygus-inference)

[rainoftime]

Hi,
For the following formula:

(set-logic QF_UFNIA)
(set-option :cbqi-all true)
(set-option :quant-split true)
(set-option :partial-triggers true)
(set-option :full-saturate-quant true)
(set-option :sygus-inference true)
(declare-const i7 Int)
(assert (xor true true true true true (<= (mod 0 (mod i7 5)) 46) true true true true))
(assert (< 775 (mod 0 0)))
(check-sat)

CVC4 (commit. 92ed768) throws out a fatal failure:

Fatal failure within bool CVC4::theory::TheoryEngineModelBuilder::isAssignable(CVC4::TNode) at /home/peisen/test/tofuzz/CVC4/src/theory/theory_model_builder.cpp:156
Check failure

 !n.getType().isFunction()

Aborted (core dumped)