engine → goto-programs Relation

File in src/goto-symex/engine	Includes file in src/goto-programs
goto_symex.h	goto_functions.h
goto_symex.h	abstract-interpretation / interval_domain.h
builtin_functions / memory_alloc.cpp	destructor.h