goto-checker → assembler Relation

File in src/goto-checker	Includes file in src/assembler
multi_path_symex_checker.cpp	remove_asm.h