llvm for klee with pass modified