Fix issue #1505 #7384

Job	Run time
check-deps	10m 30s
quick-tests	6m 15s
clippy-check	3m 26s
fmt-check	28s
smir-check	3s
purification-tests	39m 33s
test-crates (0)	1h 1m 14s
release-build (ubuntu-latest)	7m 15s
test-crates (1)	32m 10s
all-tests (ubuntu-latest)	1h 8m 20s
release-build (windows-latest)	12m 56s
test-crates (2)	47m 24s
all-tests (windows-latest)	1h 38m 20s
release-build (macos-latest)	13m 8s
test-on-prusti	0s
test-crates (3)	42m 40s
all-tests (macos-latest)	1h 45m 37s
can-merge	2s
	9h 9m 21s

Provide feedback