Remove default messaget value from goto_program_dereferencet #9213

Job	Run time
check-ubuntu-20_04-cmake-gcc	19m 26s
check-ubuntu-20_04-make-clang	21m 52s
check-ubuntu-20_04-make-clang-smt-z3	3m 39s
check-ubuntu-20_04-make-gcc	33m 24s
check-ubuntu-22_04-cmake-gcc	38m 54s
check-ubuntu-22_04-cmake-gcc-13	18m 33s
check-ubuntu-22_04-make-clang	17m 7s
check-macos-11-make-clang	39m 24s
check-macos-12-cmake-clang	1h 6m 7s
check-string-table	2m 35s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	3m 0s
check-ubuntu-20_04-cmake-gcc-THOROUGH	7m 33s
check-ubuntu-22_04-cmake-gcc-32bit	20m 46s
check-vs-2019-cmake-build-and-test	1h 2m 4s
check-vs-2022-make-build-and-test	44m 2s
windows-msi-package	23m 16s
check-docker-image	19m 52s
codecov-coverage-report	29m 29s
include-what-you-use	26m 31s
	8h 17m 34s

Provide feedback