engine → state Relation

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