Fix counterexamples for inclusion #526

Job	Run time
run-test-performance-base (ubuntu-latest)	6m 53s
run-test-performance (ubuntu-latest)	4m 42s
run-test-performance-base (macos-latest)	4m 16s
warnings-base (ubuntu-latest)	4m 8s
run-tests (ubuntu-latest)	2m 2s
run-test-performance (macos-latest)	5m 59s
warnings-base (macos-latest)	3m 32s
run-tests (macos-latest)	1m 22s
warnings-new (ubuntu-latest)	4m 9s
warnings-new (macos-latest)	3m 33s
code-coverage	1m 41s
compare-versions (ubuntu-latest)	3s
compare-versions (macos-latest)	7s
compare-performance (ubuntu-latest)	16s
compare-performance (macos-latest)	16s
	42m 59s

Provide feedback