Fix counterexamples for inclusion #524

Job	Run time
run-test-performance-base (ubuntu-latest)	4m 35s
run-test-performance (ubuntu-latest)	6m 44s
run-test-performance-base (macos-latest)	3m 50s
run-test-performance (macos-latest)	6m 0s
run-tests (ubuntu-latest)	2m 15s
warnings-base (ubuntu-latest)	4m 8s
run-tests (macos-latest)	1m 22s
warnings-new (ubuntu-latest)	4m 26s
warnings-base (macos-latest)	3m 33s
warnings-new (macos-latest)	3m 39s
code-coverage	0s
compare-versions (ubuntu-latest)	8s
compare-versions (macos-latest)	6s
compare-performance (ubuntu-latest)	17s
compare-performance (macos-latest)	32s
	41m 35s

Provide feedback