leave variable modules uninstantiated (#2685) #1252

Job	Run time
report	15m 56s
style	9s
build-test (windows-latest, stable, x86_64-pc-windows-msvc, true)	19m 57s
build-test (macos-latest, stable, x86_64-apple-darwin, true)	7m 8s
build-test (ubuntu-20.04, stable, x86_64-unknown-linux-gnu, true)	7m 53s
build-test (ubuntu-22.04, stable, x86_64-unknown-linux-gnu, true)	8m 16s
build-test (ubuntu-22.04, stable, i686-unknown-linux-gnu, true)	9m 45s
build-test (ubuntu-22.04, nightly, wasm32-unknown-unknown, true, --no-default-features, --no-run ...	9m 12s
build-test (ubuntu-22.04, 1.77, x86_64-unknown-linux-gnu)	4m 17s
build-test (ubuntu-22.04, beta, x86_64-unknown-linux-gnu)	4m 6s
build-test (ubuntu-22.04, nightly, x86_64-unknown-linux-gnu, true, miri)	9m 12s
logtalk-test	8m 23s
release	0s
	1h 44m 14s

Provide feedback