goto-synthesizer → pointer-analysis Relation

File in src/goto-synthesizer	Includes file in src/pointer-analysis
cegis_verifier.cpp	add_failed_symbols.h