state → equation Relation

File in src/goto-symex/state	Includes file in src/goto-symex/equation
goto_symex_state.h	symex_target.h