Build

Overapproximate staticcall in case we can't resolve callee #3041

Job	Run time
cabal-check	6m 1s
nix-build (linux-x64)	1h 20m 22s
extra-tests (ubuntu-latest)	10m 27s
extra-tests (macos-latest)	11m 30s
nix-build (osx-x64)	34m 35s
nix-build (osx-arm64)	15m 36s
bitwuzla-build (win64 target) / build	5s
build (windows-latest)	33m 23s
	3h 11m 59s

Provide feedback