Fatal failure in cvc5::internal::SharedTermsDatabase::addSharedTerm() at src/theory/shared_terms_database.cpp:99

[cvc5-bot]

cvc5/cvc5@0a6671a
murxla/murxla@51f5b5c

(set-option :sets-ext true)
(set-option :incremental true)
(set-option :sat-solver cadical)
(assert (not (set.choose (set.minus (set.complement (set.singleton true)) (set.choose (set.singleton (set.complement (set.minus (set.singleton true) (set.singleton true)))))))))
(check-sat-assuming (true))
(check-sat)

error:

Fatal failure within void cvc5::internal::SharedTermsDatabase::addSharedTerm(cvc5::internal::TNode, cvc5::internal::TNode, cvc5::internal::theory::TheoryIdSet) at ../src/theory/shared_terms_database.cpp:99
Check failure

 theories != (*find).second