Fatal failure in cvc5::internal::theory::fp::TheoryFp::ppRewrite() at src/theory/fp/theory_fp.cpp:137

[cvc5-bot]

cvc5/cvc5@95b00b0
murxla/murxla@51c21ba

(set-option :safe-options true)
(assert (fp.geq (fp (_ bv0 1) (_ bv0 11) (_ bv0 52)) (fp (_ bv0 1) (_ bv0 11) (_ bv0 52))))
(check-sat)

error:

Fatal failure within virtual cvc5::internal::TrustNode cvc5::internal::theory::fp::TheoryFp::ppRewrite(cvc5::internal::TNode, std::vector<cvc5::internal::theory::SkolemLemma>&) at ../src/theory/fp/theory_fp.cpp:137
Check failure

 node.getKind() != Kind::FLOATINGPOINT_SUB && node.getKind() != Kind::FLOATINGPOINT_MIN && node.getKind() != Kind::FLOATINGPOINT_MAX && node.getKind() != Kind::FLOATINGPOINT_EQ && node.getKind() != Kind::FLOATINGPOINT_GEQ && node.getKind() != Kind::FLOATINGPOINT_GT && node.getKind() != Kind::FLOATINGPOINT_TO_UBV && node.getKind() != Kind::FLOATINGPOINT_TO_SBV && node.getKind() != Kind::FLOATINGPOINT_TO_REAL