esbmc → irep2 Relation

File in src/esbmc	Includes file in src/irep2
bmc.cpp	irep2.h
main.cpp	irep2.h
non_termination.cpp	irep2_expr.h
non_termination.cpp	irep2_type.h
ranking_synthesis.cpp	irep2_expr.h
parseoptions / driver.cpp	simplification_check.h