goto-checker → langapi Relation

File in src/goto-checker	Includes file in src/langapi
symex_coverage.cpp	language_util.h