fixed bug in klee-4