cpp → goto-programs Relation

File in src/cpp	Includes file in src/goto-programs
cpp_internal_additions.cpp	adjust_float_expressions.h
cpp_typecheck_constructor.cpp	goto_instruction_code.h