cbmc → goto-symex Relation

File in src/cbmc	Includes file in src/goto-symex
cbmc_parse_options.cpp	path_storage.h