cbmc → json Relation

File in src/cbmc	Includes file in src/json
cbmc_parse_options.h	json_interface.h