parseoptions → goto2c Relation

File in src/esbmc/parseoptions	Includes file in src/goto2c
bmc_strategy.cpp	goto2c.h
command_line_options.cpp	goto2c.h
driver.cpp	goto2c.h
goto_program.cpp	goto2c.h
k_induction.cpp	goto2c.h
process_goto_program.cpp	goto2c.h