Remove renamedt from symex_targett interface #10438

Job	Run time
check-ubuntu-20_04-make-gcc	20m 21s
check-ubuntu-20_04-make-clang	24m 20s
check-ubuntu-20_04-make-clang-smt-z3	5m 11s
check-ubuntu-20_04-cmake-gcc	18m 23s
check-ubuntu-22_04-cmake-gcc	17m 57s
check-ubuntu-22_04-make-clang	18m 34s
check-docker-image	20m 48s
check-ubuntu-24_04-cmake-gcc-14	18m 56s
check-macos-12-cmake-clang	42m 29s
check-macos-13-make-clang	40m 19s
check-string-table	2m 13s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	4m 50s
check-ubuntu-20_04-cmake-gcc-THOROUGH	11m 24s
check-ubuntu-22_04-cmake-gcc-32bit	16m 16s
check-vs-2019-cmake-build-and-test	31m 15s
check-vs-2022-make-build-and-test	22m 16s
windows-msi-package	6m 20s
include-what-you-use	22m 51s
	5h 44m 43s

Provide feedback