Klee-Analyzable-Code