c2goto → library Relation

File in src/c2goto	Includes file in src/c2goto/library
cprover_libc_sources.cpp	libm / musl / libm.h