goto-harness → json Relation

File in src/goto-harness	Includes file in src/json
memory_snapshot_harness_generator.cpp	json_parser.h