memory-analyzer → goto-programs Relation

File in src/memory-analyzer	Includes file in src/goto-programs
memory_analyzer_parse_options.cpp	goto_model.h
memory_analyzer_parse_options.cpp	read_goto_binary.h
memory_analyzer_parse_options.cpp	show_symbol_table.h