c2goto → goto-programs Relation

File in src/c2goto	Includes file in src/goto-programs
c2goto.cpp	goto_convert_functions.h
c2goto.cpp	write_goto_binary.h
cprover_library.cpp	goto_binary_reader.h
cprover_library.cpp	goto_functions.h