libcprover-cpp → pointer-analysis Relation

File in src/libcprover-cpp	Includes file in src/pointer-analysis
api.cpp	add_failed_symbols.h