Added KLEE running and result returning from workers