goto-instrument → json Relation

File in src/goto-instrument	Includes file in src/json
contracts / contracts_wrangler.h	json_parser.h