transition-system → goto-symex Relation

File in src/transition-system	Includes file in src/goto-symex
ts_extraction.cpp	scheduler / reachability_tree.h
ts_extraction.cpp	equation / symex_target_equation.h