scheduler → equation Relation

File in src/goto-symex/scheduler	Includes file in src/goto-symex/equation
execution_state.h	symex_target.h
reachability_tree.h	symex_target_equation.h