goto-harness → goto-instrument Relation

File in src/goto-harness	Includes file in src/goto-instrument
goto_harness_parse_options.cpp	dump_c.h