goto-programs → json Relation

File in src/goto-programs	Includes file in src/json
restrict_function_pointers.cpp	json_parser.h