scheduler → state Relation

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