parseoptions → clang-c-frontend Relation

File in src/esbmc/parseoptions	Includes file in src/clang-c-frontend
bmc_strategy.cpp	clang_c_language.h
command_line_options.cpp	clang_c_language.h
driver.cpp	clang_c_language.h
goto_program.cpp	clang_c_language.h
k_induction.cpp	clang_c_language.h
process_goto_program.cpp	clang_c_language.h