irep → goto-programs Relation

File in src/util/irep	Includes file in src/goto-programs
migrate.cpp	goto_binary_reader.h