Module → Core Relation

File in include/klee/Module	Includes file in include/klee/Core
KModule.h	Interpreter.h