jimple-frontend → c2goto Relation

File in src/jimple-frontend	Includes file in src/c2goto
jimple-language.cpp	cprover_library.h