state → goto-programs Relation

File in src/goto-symex/state	Includes file in src/goto-programs
goto_symex_state.h	goto_functions.h