ADT → Config Relation

File in include/klee/ADT	Includes file in include/klee/Config
Bits.h	Version.h