Investigate invalid model in mixed FP/Real logic triggered by string constraint with produce-proofs#8749

Copilot wants to merge 1 commit intomasterZ3Prover/z3:masterfrom

copilot/fix-invalid-model-generationZ3Prover/z3:copilot/fix-invalid-model-generationCopy head branch name to clipboard