scheduler → goto-programs Relation

File in src/goto-symex/scheduler	Includes file in src/goto-programs
reachability_tree.cpp	goto_functions.h
reachability_tree.h	goto_program.h