Fix #3072 #3074
Instead of directly closing the goal that SMT was applied on, create a new one with the same sequent and close that.
This PR fixes #3072.
Artifacts
- 24. Apr 2023 15:43 (8119.19 kB large)
- 04. Apr 2023 15:57 (6277.48 kB large)
- 17. Mar 2023 15:49 (3402.23 kB large)