goto-synthesizer → langapi Relation

File in src/goto-synthesizer	Includes file in src/langapi
cegis_verifier.cpp	language_util.h
goto_synthesizer_languages.cpp	mode.h