Enable Feature.DiffInformedQueries #4018

Job	Run time
Resolve environment (macos-latest, default)	2m 44s
Resolve environment (ubuntu-latest, default)	30s
Resolve environment (windows-latest, default)	1m 10s
Resolve environment (windows-latest, linked)	1m 4s
Resolve environment (ubuntu-latest, linked)	34s
Resolve environment (ubuntu-latest, nightly-latest)	51s
Resolve environment (macos-latest, linked)	2m 36s
Resolve environment (windows-latest, nightly-latest)	2m 41s
Resolve environment (macos-latest, nightly-latest)	2m 35s
	14m 45s

Provide feedback