state → engine Relation

File in src/goto-symex/state	Includes file in src/goto-symex/engine
goto_symex_state.cpp	goto_symex.h