json-symtab-language → goto-programs Relation

File in src/json-symtab-language	Includes file in src/goto-programs
json_symtab_language.h	goto_functions.h