parseoptions → transition-system Relation

File in src/esbmc/parseoptions	Includes file in src/transition-system
ts_strategy.cpp	ts_engines.h
ts_strategy.cpp	ts_extraction.h
ts_strategy.cpp	ts_slice.h