cbmc → json-symtab-language Relation

File in src/cbmc	Includes file in src/json-symtab-language
cbmc_languages.cpp	json_symtab_language.h