esbmc → clang-cpp-frontend Relation

File in src/esbmc	Includes file in src/clang-cpp-frontend
globals.cpp	esbmc_internal_cpp.h