Don't rely on JSON symtabs for --gen-c, --function#2221

zhassan-aws merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom

remi-delmas-3000:dont-rely-on-json-symtabremi-delmas-3000/kani:dont-rely-on-json-symtabCopy head branch name to clipboard