Refactored the klee worker code and formatted the output