goto-synthesizer → assembler Relation

File in src/goto-synthesizer	Includes file in src/assembler
cegis_verifier.cpp	remove_asm.h