<KLEE>: Adding support for KLEE.