contracts → irep2 Relation

File in src/goto-programs/contracts	Includes file in src/irep2
contracts.cpp	irep2_expr.h
contracts.cpp	irep2_utils.h