goto-instrument: Replace uses of namespacet::follow #9788

Job	Run time
check-ubuntu-20_04-cmake-gcc	31m 36s
check-ubuntu-20_04-make-clang	32m 15s
check-ubuntu-20_04-make-clang-smt-z3	10m 34s
check-ubuntu-20_04-make-gcc	28m 42s
check-ubuntu-22_04-make-clang	29m 21s
check-ubuntu-22_04-cmake-gcc	30m 48s
check-docker-image	19m 56s
check-macos-11-make-clang	1h 9m 25s
check-macos-12-cmake-clang	1h 24m 9s
check-string-table	2m 34s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	14m 45s
check-ubuntu-20_04-cmake-gcc-THOROUGH	19m 30s
check-ubuntu-22_04-cmake-gcc-13	31m 9s
check-ubuntu-22_04-cmake-gcc-32bit	29m 34s
check-vs-2019-cmake-build-and-test	1h 2m 25s
check-vs-2022-make-build-and-test	1h 4m 10s
codecov-coverage-report	51m 26s
include-what-you-use	27m 29s
windows-msi-package	17m 5s
	10h 56m 53s

Provide feedback