Bug findings with Semantic Fusion

========= CVC4 =========

https://github.com/CVC4/CVC4/issues/4758#issuecomment-782028728 Confirmed
https://github.com/CVC4/CVC4/issues/4333 Confirmed
https://github.com/CVC4/CVC4/issues/3441 Dup
https://github.com/CVC4/CVC4/issues/3440 Fixed
https://github.com/CVC4/CVC4/issues/3430 Fixed
https://github.com/CVC4/CVC4/issues/3412 Fixed
https://github.com/CVC4/CVC4/issues/3375 Fixed
https://github.com/CVC4/CVC4/issues/3357 Fixed
https://github.com/CVC4/CVC4/issues/3286 Won't fix
https://github.com/CVC4/CVC4/issues/3272 Fixed
https://github.com/CVC4/CVC4/issues/3247 Fixed
https://github.com/CVC4/CVC4/issues/3217 Fixed
https://github.com/CVC4/CVC4/issues/3203 Fixed
https://github.com/CVC4/CVC4/issues/3106 Confirmed

========= Z3 =========

https://github.com/Z3Prover/z3/issues/5036#issuecomment-787601706 Dup
https://github.com/Z3Prover/z3/issues/4804#issuecomment-782707242 Reported
https://github.com/Z3Prover/z3/issues/5036 Dup
https://github.com/Z3Prover/z3/issues/5029 Fixed
https://github.com/Z3Prover/z3/issues/4866#issuecomment-778775322 Fixed
https://github.com/Z3Prover/z3/issues/4866#issuecomment-778721073 Confirmed
https://github.com/Z3Prover/z3/issues/4613 Reported
https://github.com/Z3Prover/z3/issues/4866#issuecomment-764465183 Fixed
https://github.com/Z3Prover/z3/issues/4940#issuecomment-761021367 Fixed
https://github.com/Z3Prover/z3/issues/4940#issuecomment-760607059 Fixed
https://github.com/Z3Prover/z3/issues/4940#issuecomment-760305625 Fixed
https://github.com/Z3Prover/z3/issues/4866#issuecomment-759984367 Confirmed
https://github.com/Z3Prover/z3/issues/4940#issuecomment-759171224 Fixed
https://github.com/Z3Prover/z3/issues/4532 Fixed
https://github.com/Z3Prover/z3/issues/4532#issuecomment-648048990 Reported
https://github.com/Z3Prover/z3/issues/4532#issuecomment-646721686 Reported
https://github.com/Z3Prover/z3/issues/4518#issue-638850637 Fixed
https://github.com/Z3Prover/z3/issues/4153 Fixed
https://github.com/Z3Prover/z3/issues/3926 Fixed
https://github.com/Z3Prover/z3/issues/3072 Fixed
https://github.com/Z3Prover/z3/issues/2926 Won't fix
https://github.com/Z3Prover/z3/issues/2924 Dup
https://github.com/Z3Prover/z3/issues/2673 Confirmed
https://github.com/Z3Prover/z3/issues/2672 Fixed
https://github.com/Z3Prover/z3/issues/2671 Fixed
https://github.com/Z3Prover/z3/issues/2668 Fixed
https://github.com/Z3Prover/z3/issues/2632 Fixed
https://github.com/Z3Prover/z3/issues/2618 Fixed
https://github.com/Z3Prover/z3/issues/2615 Fixed
https://github.com/Z3Prover/z3/issues/2613 Fixed
https://github.com/Z3Prover/z3/issues/2612 Fixed
https://github.com/Z3Prover/z3/issues/2580 Fixed
https://github.com/Z3Prover/z3/issues/2578 Fixed
https://github.com/Z3Prover/z3/issues/2573 Fixed
https://github.com/Z3Prover/z3/issues/2567 Fixed
https://github.com/Z3Prover/z3/issues/2566 Dup
https://github.com/Z3Prover/z3/issues/2563 Dup
https://github.com/Z3Prover/z3/issues/2562 Fixed
https://github.com/Z3Prover/z3/issues/2557 Fixed
https://github.com/Z3Prover/z3/issues/2556 Fixed
https://github.com/Z3Prover/z3/issues/2548 Fixed
https://github.com/Z3Prover/z3/issues/2546 Fixed
https://github.com/Z3Prover/z3/issues/2533 Fixed
https://github.com/Z3Prover/z3/issues/2531 Fixed
https://github.com/Z3Prover/z3/issues/2530 Fixed
https://github.com/Z3Prover/z3/issues/2516 Fixed
https://github.com/Z3Prover/z3/issues/2514 Fixed
https://github.com/Z3Prover/z3/issues/2513 Fixed
https://github.com/Z3Prover/z3/issues/2509 Fixed
https://github.com/Z3Prover/z3/issues/2483 Fixed
https://github.com/Z3Prover/z3/issues/2478 Fixed
https://github.com/Z3Prover/z3/issues/2450 Fixed
https://github.com/Z3Prover/z3/issues/2449 Fixed
https://github.com/Z3Prover/z3/issues/2422 Fixed
https://github.com/Z3Prover/z3/issues/2396 Fixed
https://github.com/Z3Prover/z3/issues/2397 Fixed
https://github.com/Z3Prover/z3/issues/2391 Fixed
https://github.com/Z3Prover/z3/issues/2390 Fixed
https://github.com/Z3Prover/z3/issues/2376 Fixed
https://github.com/Z3Prover/z3/issues/2375 Fixed
https://github.com/Z3Prover/z3/issues/2372 Fixed
https://github.com/Z3Prover/z3/issues/2366 Fixed