goto-synthesizer → cpp Relation

File in src/goto-synthesizer	Includes file in src/cpp
cegis_verifier.cpp	cprover_library.h
goto_synthesizer_languages.cpp	cpp_language.h