equation → state Relation

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