state → scheduler Relation

File in src/goto-symex/state	Includes file in src/goto-symex/scheduler
goto_symex_state.cpp	execution_state.h
goto_symex_state.cpp	reachability_tree.h