Merge pull request #1312 from Nadrieril/dont-normalize-clauses #3956

Job	Run time
no-std-lib	28s
test-workspace (macos-latest)	1m 8s
test-workspace (ubuntu-latest)	1m 2s
test-workspace (windows-latest)	2m 44s
	5m 22s

Provide feedback