Make goto_symext::language_mode protected#8646

tautschnig wants to merge 2 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:language_mode-protectedtautschnig/cbmc:language_mode-protectedCopy head branch name to clipboard