goto-synthesizer → cbmc Relation

File in src/goto-synthesizer	Includes file in src/cbmc
goto_synthesizer_parse_options.cpp	cbmc_parse_options.h