transition-system → goto-programs Relation

File in src/transition-system	Includes file in src/goto-programs
ts_extraction.h	goto_functions.h