Fix symtab json file removal and reduce regression scope#2447

celinval merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom

celinval:issue-xxxx-symtab-regcelinval/kani-dev:issue-xxxx-symtab-regCopy head branch name to clipboard