contracts → json Relation

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